hank is single and has a 30K adjust gross income in 2023. What would his savings credit be if he deferred $1,000 in his employer's 401(K) plan and received a $500 employee match