loading SCIP...
48 109 true
2 4 5 8 10 11 14 16 18 19 21 23 27 29 30 34 36 37 38 42 43 44 45 48 54 57 58 63 66 69 70 71 75 77 79 80 82 83 84 85 87 88 90 91 92 93 95 99