loading SCIP...
15 34328 true
2 5 24 25 26 29 30 39 40 54 61 74 82 88 93