brun -c '(any (q . 0) (q . 0))'
cost = 841
()
