loading SCIP...
10 40422 true
9 25 33 37 52 77 87 89 95 99