loading SCIP...
18 29125 true
9 11 15 17 20 27 37 38 40 42 44 47 52 70 85 86 89 90