loading SCIP...
27 16109 true
1 2 10 11 13 14 17 20 24 28 29 30 38 39 43 49 53 60 63 65 67 74 80 84 91 95 99