brun -c '(logand (q . 1) (q . 2))'
cost = 675
()
