loading SCIP...
9 48359 true
3 8 11 12 31 35 44 53 75