loading SCIP...
13 39219 true
4 5 10 18 20 26 46 66 69 75 79 84 89