loading SCIP...
10 47188 true
18 25 28 32 37 43 46 50 66 67