loading SCIP...
11 39890 true
12 19 29 31 56 59 65 72 84 88 92