loading SCIP...
9 49156 true
12 21 29 33 34 46 76 87 93