Devon is a single man whose salary is $90,000 per year. Based on the tax table below, how much does he need to contribute to his employer's 401(k) in order to fall into a lower tax bracket?