loading SCIP...
16 34625 true
1 3 11 20 31 50 64 69 70 74 78 79 80 82 83 85