loading SCIP...
9 29235 true
12 15 26 33 50 55 77 89 98