If someone makes 100k, contributed 10% and the company makes a safe harbor matching contribution of 100% of first 3 % and 50% of next 2%, how much is going into the 401k per year (both employee and employer)?

A. 13000

B. 10000

C. 14000

D. 9000