loading SCIP...
9 32703 true
6 9 11 28 43 72 75 82 89