My thinking is to knock out whatever costs you the most, first.
1 - 13.9% credit card. Pay this off first.
2 - Company matching 401(k), how much do they match? If they match up to 5%, put in your 5% to get theirs.
3 - Pay on the highest student loan first.
My thinking (and someone's sure to correct me if I'm wrong) is that the CC is expensive. Pay it off. Then get the free money in the 401(k) from your employer and use the remainder to pay down the most expensive loan. As the loans pay down, you start increasing the 401(k) contributions, until you are paid off and contribute the full 20%.
Or - depending on what you have budgeted, you might be able to contribute the full 20% AND still pay more than the minimums on the loans.