loading SCIP...
10 42422 true
2 4 16 20 25 37 38 47 68 70