loading SCIP...
9 47328 true
0 15 26 31 37 41 57 73 81