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: Qual jogador está frequentando a faculdade na Virgínia?
 ###Tabelas: CREATE TABLE 2012_team (2012_team_id AUTO_INCREMENT PRIMARY KEY, Player VARCHAR, Position VARCHAR, School VARCHAR, Hometown VARCHAR, College VARCHAR) CREATE TABLE eighthfinals (eighthfinals_id AUTO_INCREMENT PRIMARY KEY, Team #1 VARCHAR, Agg. VARCHAR, Team #2 VARCHAR, 1st leg VARCHAR, 2nd leg VARCHAR) CREATE TABLE demand (demand_id AUTO_INCREMENT PRIMARY KEY, Entities VARCHAR, Country VARCHAR, Supply point VARCHAR, Voltage (kV) INT, Power (MW) INT) CREATE TABLE career_titles_13 (career_titles_13_id AUTO_INCREMENT PRIMARY KEY, Outcome VARCHAR, Date INT, Championship VARCHAR, Surface VARCHAR, Opponent in the final VARCHAR, Score in the final VARCHAR) CREATE TABLE individual (individual_id AUTO_INCREMENT PRIMARY KEY, School Year VARCHAR, Class A VARCHAR, Class AA VARCHAR, Class AAA VARCHAR, Class AAAA VARCHAR, Class AAAAA VARCHAR)  
SELECT Player FROM 2012_team WHERE College = virginia