loading SCIP...
29 11485 true
3 6 10 11 12 14 22 27 28 35 39 40 41 46 48 50 51 58 69 72 75 76 78 82 84 85 86 87 94