brun -n -c 7 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 52
(11 . 15)
