loading SCIP...
14 36875 true
2 5 10 14 19 34 35 40 53 60 69 74 79 87