loading SCIP...
29 12219 true
4 5 11 14 15 18 20 21 27 29 33 35 36 39 40 43 50 58 63 64 71 72 74 76 79 80 84 93 95