loading SCIP...
10 30500 true
9 13 26 32 42 69 84 86 87 94