loading SCIP...
22 20734 true
7 13 14 21 33 41 43 44 45 55 62 65 69 71 74 79 80 82 84 90 91 93