loading SCIP...
12 37281 true
9 14 18 22 37 42 48 71 74 75 77 87