loading SCIP...
23 22187 true
2 7 10 11 16 19 25 33 35 38 39 43 46 49 58 61 72 73 75 78 79 84 94