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