loading SCIP...
11 34000 true
1 5 19 26 28 33 55 66 76 84 88