loading SCIP...
57 78 true
2 3 4 6 10 11 12 14 17 19 22 23 26 29 30 31 32 33 35 36 39 41 42 43 44 45 46 50 51 57 59 60 61 63 64 69 70 71 73 74 75 77 78 79 80 82 84 88 89 90 91 92 95 96 97 98 99