7 253 173 true
6 7 9 10 12 19 35