loading SCIP...
10 46016 true
10 29 41 43 46 67 77 80 93 99