brun -c '(* (q . 0x00000000000000000000000000000000000000000000000000000000000000000000000007) (q . 0x000000000000000000000000000000000000000000000000000000000000000000000000000000002))'
cost = 1507
14
