brun -c '(logxor (q . 12) (q . 5))'
cost = 685
9
