loading SCIP...
9 49609 true
10 16 39 49 53 60 76 94 99