brun -c '(logxor (q . 0x0000000000000000000000000000000000000000000000000000000000000000000000000c) (q . 0x00005) (q . 0x0000000000000000000000000000000000000000000000000000000000000000007))'
cost = 1185
14
