loading SCIP...
52 78 true
0 3 7 8 9 10 14 15 17 18 22 23 24 28 30 33 37 38 39 42 43 44 45 46 49 50 53 54 58 64 65 66 68 70 71 72 74 75 76 77 78 79 83 87 88 89 91 93 94 96 97 99