Input (grade 11): HolguÃ n is one of the provinces of Cuba, the third most populous after Ciudad de la Habana and Santiago de Cuba.
Output (grade 9): HolguÃ n is one of the provinces of Cuba, the second most populous after Ciudad de la Habana.