I think both of those have flaws.

Maybe a rising-tide allocation of unused tickets ...