loading SCIP...
19 25890 true
6 9 17 24 30 31 45 48 59 63 68 69 71 79 80 84 85 95 98