loading SCIP...
8 52203 true
1 31 36 39 53 62 72 91