loading SCIP...
27 13937 true
2 17 21 22 23 26 27 28 34 37 39 40 53 61 64 65 69 70 72 74 77 78 80 91 92 94 98