loading SCIP...
54 78 true
0 4 6 7 8 10 11 12 13 14 15 16 19 21 22 24 28 29 31 35 38 41 44 45 47 52 54 56 57 59 60 61 63 64 66 70 71 73 74 75 79 80 83 84 85 86 87 88 89 91 92 93 96 98