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