loading SCIP...
10 42500 true
9 17 18 24 33 34 58 70 74 78