loading SCIP...
9 47328 true
0 5 25 56 64 75 80 89 91