loading SCIP...
16 32734 true
3 18 29 34 35 37 39 43 65 69 71 72 78 79 80 84