loading SCIP...
8 28125 true
8 17 19 39 56 63 74 79