loading SCIP...
56 78 true
1 4 8 10 11 12 13 15 18 19 21 22 26 28 30 33 34 35 37 39 41 44 45 46 47 48 49 50 51 52 54 56 59 62 63 71 72 74 76 80 81 82 84 85 86 87 88 89 90 91 93 94 95 96 97 99