loading SCIP...
9 44328 true
3 5 15 26 54 64 73 79 97