loading SCIP...
9 49047 true
7 8 17 37 44 61 68 82 99