loading SCIP...
27 13547 true
2 6 8 11 16 20 26 27 32 34 35 36 44 45 50 55 61 62 65 69 73 74 78 80 89 91 99