loading SCIP...
53 140 true
0 2 4 5 6 7 9 10 13 17 21 22 23 25 26 27 30 31 33 34 35 38 39 43 53 54 55 56 59 60 62 63 66 68 70 73 74 75 77 78 80 81 82 84 85 87 88 89 90 91 92 96 98