loading SCIP...
59 78 true
0 1 3 4 5 7 8 10 11 12 13 14 16 17 19 20 21 25 26 27 29 31 32 33 35 38 39 41 46 47 48 51 53 57 58 61 63 65 66 68 69 70 71 72 74 75 76 79 83 84 87 88 89 92 94 95 96 97 99