N13.5 billion