loading SCIP...
11 41671 true
8 13 16 26 37 42 48 53 56 84 89