loading SCIP...
10 45375 true
2 13 25 26 38 49 61 70 86 94