loading SCIP...
10 44985 true
9 11 21 26 31 42 62 77 80 88