loading SCIP...
11 41375 true
11 19 28 33 49 53 60 82 84 87 94