Karachi-bound aircraft lost contact with air traffic control after reporting navigation β system fault.