loading SCIP...
12 39890 true
2 10 12 20 21 23 31 54 71 72 77 90