brun -c '(logxor (q . 12) (q . 5) (q . 7))'
cost = 972
14
