brun -c '(logand (q . 13) (q . 12))'
cost = 685
12
