loading SCIP...
9 42485 true
10 31 42 49 60 77 80 83 93