loading SCIP...
13 39406 true
2 3 4 11 19 21 25 35 38 47 61 65 66