loading SCIP...
10 40328 true
0 19 25 29 33 45 55 78 81 95