loading SCIP...
12 36406 true
2 23 25 26 34 42 46 53 59 69 76 92