You are given a list of support tickets where each ticket is [agent, customer, issue]. A customer's engagement score is the number of unique agents who responded to that customer (an agent responding multiple times to the same customer counts once). Return the top k customers by engagement score, breaking ties alphabetically by customer name.

---

...