loading SCIP...
12 29250 true
0 1 5 10 15 24 57 62 69 70 87 90