CREATE TABLE college (state VARCHAR, enr INT)

What is the number of states that has some college whose enrollment is larger than the average enrollment?
SELECT COUNT(DISTINCT state) FROM college WHERE enr > (SELECT AVG(enr) FROM college)
SELECT COUNT(DISTINCT "state") FROM "college" WHERE "enr" > (SELECT AVG("enr") FROM "college")