loading SCIP...
9 23218 true
2 25 36 57 60 82 83 84 99