loading SCIP...
27 15171 true
2 11 13 24 27 31 37 38 39 41 45 48 49 52 63 65 66 67 69 71 72 74 77 82 86 92 97