loading SCIP...
11 40187 true
9 21 31 49 54 59 68 71 81 88 96