N424.14 billion