loading SCIP...
14 38187 true
4 9 11 22 52 57 61 64 69 74 79 82 89 94