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: Quem é o jogador que jogou pelo Miami Sol e estudou na North Carolina State?
 ###Tabelas: CREATE TABLE 2000:_indiana_fever_miami_sol_portland_fire_seattle_storm (2000:_indiana_fever_miami_sol_portland_fire_seattle_storm_id AUTO_INCREMENT PRIMARY KEY, Pick INT, Player VARCHAR, Nationality VARCHAR, New WNBA Team VARCHAR, Former WNBA Team VARCHAR, College/Country/Team VARCHAR) CREATE TABLE earliest_serving_senators_currently_living (earliest_serving_senators_currently_living_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Senator VARCHAR, Date of birth VARCHAR, Entered Senate VARCHAR, Left Senate VARCHAR, State served VARCHAR, Party VARCHAR, Time since entry VARCHAR) CREATE TABLE winners_of_the_distaff_turf_mile_stakes_since_1999 (winners_of_the_distaff_turf_mile_stakes_since_1999_id AUTO_INCREMENT PRIMARY KEY, Year INT, Winner VARCHAR, Jockey VARCHAR, Trainer VARCHAR, Owner VARCHAR, Time VARCHAR) CREATE TABLE 4-6-2 (4-6-2_id AUTO_INCREMENT PRIMARY KEY, Class VARCHAR, Wheel arrangement VARCHAR, Fleet number(s) VARCHAR, Manufacturer VARCHAR, Serial numbers VARCHAR, Year made VARCHAR, Quantity made VARCHAR, Quantity preserved VARCHAR, Year(s) retired VARCHAR) CREATE TABLE rankings_at_season's_end (rankings_at_season's_end_id AUTO_INCREMENT PRIMARY KEY, Position INT, 1990–1991 VARCHAR, 1991–1992 VARCHAR, 1992–1993 VARCHAR, 1993–1994 VARCHAR, 1994–1995 VARCHAR)  
SELECT Player FROM 2000:_indiana_fever_miami_sol_portland_fire_seattle_storm WHERE New WNBA Team = miami sol AND College/Country/Team = north carolina state