loading SCIP...
11 41265 true
9 15 20 32 35 56 68 71 76 87 93