loading SCIP...
12 30359 true
0 1 5 8 10 31 35 50 66 80 81 94