loading SCIP...
11 41219 true
9 30 36 39 47 52 80 84 90 94 96