brun -c '(* (q . 1))'
cost = 123
1
