loading SCIP...
14 34859 true
4 8 10 22 25 33 37 46 54 69 70 72 80 95