Input (grade 12): The population is about 55,000, including 12,500 students and 5,000 employees of the University of Greifswald.
Output (grade 12): The population is roughly 55,000, including about 11,500 students and some 5,000 employees of the University of Greifswald.