loading SCIP...
9 48594 true
5 15 25 42 46 51 52 75 91