brun -c '(logior (q . 12) (q . 5) (q . 7))'
cost = 972
15
