loading SCIP...
10 40421 true
12 15 24 27 54 72 74 78 89 95