loading SCIP...
12 41078 true
9 20 30 38 41 44 47 61 69 71 72 93