loading SCIP...
10 31329 true
9 17 31 42 58 67 70 82 89 93