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