In a recent year, 22% of all college students were enrolled part-time. If 5.7 million college students were enrolled part-time that year, what was the total number of college students?