loading SCIP...
10 37406 true
21 29 43 49 61 62 70 77 82 86