loading SCIP...
58 62 true
0 1 4 7 8 9 12 13 14 16 18 20 21 22 23 26 27 28 29 30 31 35 36 38 40 42 46 47 50 51 53 56 57 60 61 63 64 68 70 71 73 75 79 80 82 83 84 85 86 87 88 89 90 91 93 97 98 99