loading SCIP...
9 43047 true
3 5 21 34 40 42 72 75 97