This case was a corner usecase. This talks about the scenario where the driver offers less than what the traveller is trying to pay. Example: 11 1 10 2.

Since the traveller/Petr can never do a '-' operation, he has to satisfy for 11.

Thanks,
ElPsyCongroo.