loading SCIP...
9 49422 true
7 18 24 34 47 59 60 82 96