loading SCIP...
17 32625 true
2 6 11 17 24 30 43 53 55 60 66 67 69 71 84 87 95