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