loading SCIP...
27 13046 true
6 7 11 12 18 20 26 35 39 46 48 49 54 63 64 69 73 75 78 82 84 90 91 92 94 95 97