brun -c '(logior (q . 12) (q . 5))'
cost = 685
13
