N13.8 billion