loading SCIP...
57 94 true
0 4 5 6 7 9 10 14 15 16 17 18 20 22 24 25 29 31 36 40 42 43 45 48 50 51 52 53 54 55 57 58 62 63 64 69 72 74 76 77 78 79 80 82 83 84 86 87 88 90 91 93 94 95 97 98 99