brun -c '(divmod 2 5)' '(80001 73)'
cost = 1271
(1095 . 66)
