loading SCIP...
38 2250 true
2 8 11 12 15 20 24 26 27 30 31 33 34 38 39 40 43 45 51 57 58 59 60 61 63 65 66 67 68 71 74 79 80 86 87 90 95 99