loading SCIP...
11 39266 true
6 17 25 46 57 62 74 78 79 89 95