loading SCIP...
16 32734 true
9 12 22 34 40 48 51 52 63 65 69 75 77 80 83 84