loading SCIP...
9 42110 true
2 5 25 49 63 66 69 89 97