loading SCIP...
11 41953 true
9 12 17 21 27 32 35 47 72 79 82