loading SCIP...
13 36062 true
0 8 25 38 39 40 70 76 81 85 89 90 91