brun -c '(all (q . 1) (q . (foo)))'
cost = 841
1
