loading SCIP...
19 30406 true
0 8 9 24 33 35 38 40 48 52 55 58 65 68 71 75 84 92 96