loading SCIP...
27 14078 true
0 2 4 10 12 14 21 22 25 28 34 37 41 46 47 59 65 68 71 72 75 78 79 80 90 91 98