loading SCIP...
9 47375 true
6 34 50 53 65 70 77 79 89