loading SCIP...
11 39234 true
11 21 31 35 42 53 59 63 65 69 85