loading SCIP...
12 38609 true
2 5 21 28 32 35 36 39 55 65 69 93