loading SCIP...
10 37125 true
5 6 11 14 18 46 69 71 88 97