loading SCIP...
12 38281 true
8 11 19 26 29 39 49 59 83 84 89 95