loading SCIP...
12 37125 true
3 15 24 40 53 59 60 71 82 84 88 97