loading SCIP...
56 78 true
2 4 5 6 7 8 9 10 11 13 14 15 16 19 25 26 28 30 31 34 35 36 39 40 42 43 46 47 48 49 50 52 54 55 56 59 62 67 69 73 74 75 76 77 78 79 80 84 87 88 90 91 92 94 95 96