loading SCIP...
9 48328 true
7 17 31 47 49 69 71 72 83