brun --strict -c -n '(a (q . q) (q . (2 3 4)))'
cost = 175
(2 3 4)
