brun -c '(divmod 2 5)' '(-80001 73)'
cost = 1271
(-1096 . 7)
