loading SCIP...
52 78 true
0 4 5 6 7 9 10 12 14 15 16 17 18 19 23 24 25 27 31 38 40 41 42 44 46 48 49 50 52 55 57 61 67 70 71 74 75 77 79 80 81 82 84 89 91 92 93 94 95 96 97 99