loading SCIP...
9 36047 true
8 19 20 29 39 43 61 71 87