brun -c '(/ 2 5)' '(80001 73)'
cost = 1125
1095
