loading SCIP...
12 37390 true
0 8 26 28 32 45 48 51 58 67 75 96