N12.8 trillion