loading SCIP...
11 43000 true
2 29 34 42 54 66 69 72 83 93 98