Take the 25k bonus, give 10k to the original guy for leaving, and 15k for yourself. The original guy makes 40k for doing nothing and everyone else gets a raise.