loading SCIP...
8 47765 true
2 8 25 32 35 36 70 85