loading SCIP...
10 48281 true
0 1 8 32 33 46 47 75 79 80