loading SCIP...
10 39266 true
10 22 52 63 66 67 70 71 74 77