loading SCIP...
13 36890 true
2 7 11 31 33 54 56 74 80 82 86 89 98