loading SCIP...
9 23406 true
2 14 15 19 24 25 31 33 46