loading SCIP...
10 42906 true
2 29 31 38 39 44 57 61 86 94