loading SCIP...
11 42750 true
9 13 16 29 38 58 70 75 82 91 96