loading SCIP...
28 11843 true
2 3 19 22 31 32 35 36 38 39 40 42 52 54 59 61 64 71 79 80 83 86 88 89 93 94 95 99