loading SCIP...
9 46765 true
2 13 21 24 43 50 60 69 82