how much mana should you have in a MTG deck with a total of 80 cards?