loading SCIP...
48 171 true
1 2 3 4 5 7 8 11 12 15 18 19 20 23 32 34 35 38 39 42 43 44 45 49 50 51 52 57 61 62 63 64 66 67 70 72 74 81 83 85 88 89 90 92 93 94 95 99