Consider a dataset of 7 distinct positive integers: $X = \{3, 6, 7, a, b, 15, 21\}$, sorted in ascending order. We are given that the median of the dataset is $10$ and the midrange is $12$. Which of the following statements must be true?