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