N12.75 billion