loading SCIP...
9 48375 true
11 31 35 39 49 56 69 77 88