loading SCIP...
29 14235 true
2 5 13 26 28 33 35 36 38 41 42 43 48 50 52 58 64 65 66 68 69 72 78 85 86 93 94 98 99