loading SCIP...
9 40422 true
7 8 14 17 26 43 72 95 96