loading SCIP...
14 35062 true
8 15 40 41 52 53 56 61 62 76 77 81 91 93