loading SCIP...
9 49469 true
7 12 14 37 70 78 94 98 99