loading SCIP...
10 36890 true
2 8 17 22 26 38 48 80 82 97