loading SCIP...
11 24421 true
21 28 43 48 54 60 65 69 79 83 93