loading SCIP...
9 40859 true
4 7 8 14 25 35 59 95 98