loading SCIP...
9 48766 true
2 4 23 38 51 68 70 84 99