loading SCIP...
9 37281 true
7 28 32 34 39 47 57 74 95