loading SCIP...
12 38641 true
0 4 16 25 28 35 46 68 71 87 89 98