loading SCIP...
13 38219 true
13 17 22 46 54 59 61 65 84 88 89 90 98