loading SCIP...
9 50687 true
17 19 28 35 44 52 55 82 89