brun -c '(= (q . 10) 1)' '10'
cost = 184
1
