loading SCIP...
8 49125 true
25 40 43 50 54 55 69 98