loading SCIP...
9 50281 true
2 23 28 43 53 79 83 98 99