loading SCIP...
10 47422 true
2 7 27 33 35 42 57 64 69 79