loading SCIP...
11 41609 true
9 25 36 45 50 57 64 65 75 82 98