CREATE TABLE College (enr INTEGER, state VARCHAR(255))
What is average enrollment of colleges in the state FL?
    
SQL: SELECT AVG(enr) FROM College WHERE state = 'FL'