loading SCIP...
9 47610 true
0 18 34 39 48 54 88 97 98