loading SCIP...
12 39640 true
9 22 26 35 40 48 73 75 79 82 84 89