loading SCIP...
27 14859 true
2 3 11 13 19 21 22 29 30 39 41 42 49 55 57 59 62 64 65 69 71 72 75 77 82 87 97