loading SCIP...
9 50500 true
15 21 28 40 43 46 65 77 89