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