loading SCIP...
11 39282 true
16 17 38 51 60 66 71 77 79 87 98