Four girls — Mary, Alina, Tina, and Hanna — sang songs in a concert as trios, with one girl sitting out each time. Hanna sang $7$ songs, which was more than any other girl, and Mary sang $4$ songs, which was fewer than any other girl. How many songs did these trios sing?

Let's think step by step and output the final answer within \boxed{}.
user