user: Question: 4512 is the enrollment what is the team nickname?
Columns: ['Institution', 'Location', 'Founded', 'Affiliation', 'Enrollment', 'Team Nickname', 'Primary conference']
Types: ['text', 'text', 'real', 'text', 'real', 'text', 'text']
Sample row: ['Aquinas College', 'Grand Rapids, Michigan', 1886.0, 'Private', 2159.0, 'Saints', 'WHAC ( NAIA )']
SQL:

assistant: SELECT "Team Nickname" FROM "Table" WHERE "Enrollment" = 4512.0;