loading SCIP...
11 41282 true
9 32 44 54 55 58 67 71 75 84 95