loading SCIP...
11 36250 true
9 26 34 45 52 60 61 75 77 80 85