Database: university_basketball
Question: What is the total enrollment of all schools?
SQL: select sum(enrollment) from university