loading SCIP...
9 49437 true
0 37 41 52 56 75 76 78 87