loading SCIP...
9 39282 true
9 13 14 39 59 65 71 72 88