loading SCIP...
13 38125 true
0 2 13 33 46 55 59 61 68 70 76 81 84