Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: question: Nomeie a faculdade que tem 10000 matriculados
 ###Tabelas: CREATE TABLE semi_finals (semi_finals_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Home team VARCHAR, Score VARCHAR, Away team VARCHAR, Venue VARCHAR, Crowd INT, Box Score VARCHAR, Report VARCHAR) CREATE TABLE pocket_monsters:_diamond__&__pearl_series (pocket_monsters:_diamond__&__pearl_series_id AUTO_INCREMENT PRIMARY KEY, # INT, Japanese title VARCHAR, Rōmaji VARCHAR, Japanese translation VARCHAR, Vocalist VARCHAR, Episodes used VARCHAR) CREATE TABLE current_members (current_members_id AUTO_INCREMENT PRIMARY KEY, Institution VARCHAR, Nickname VARCHAR, Location VARCHAR, Founded INT, Type VARCHAR, Enrollment INT, Joined INT) CREATE TABLE structures_past_or_present_600_m_and_taller_1969_ft (structures_past_or_present_600_m_and_taller_1969_ft_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Pinnacle height VARCHAR, Structure type VARCHAR, Main use VARCHAR, Town VARCHAR) CREATE TABLE 5001–5100 (5001–5100_id AUTO_INCREMENT PRIMARY KEY, NGC number INT, Object type VARCHAR, Constellation VARCHAR, Right ascension ( J2000 ) VARCHAR, Declination ( J2000 ) VARCHAR, Apparent magnitude INT)  
SELECT Institution FROM current_members WHERE Enrollment = 10000