loading SCIP...
12 35203 true
0 8 15 26 35 37 61 67 82 90 93 96