loading SCIP...
9 43125 true
11 16 17 20 32 35 61 82 93