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 é a cidade quando o país é Líbia e o IATA é Ben?
 ###Tabelas: CREATE TABLE 3101–3200 (3101–3200_id AUTO_INCREMENT PRIMARY KEY, NGC number INT, Object type VARCHAR, Constellation VARCHAR, Right ascension ( J2000 ) VARCHAR, Declination ( J2000 ) VARCHAR) CREATE TABLE specials (specials_id AUTO_INCREMENT PRIMARY KEY, Month & Year VARCHAR, Episode VARCHAR, Title VARCHAR, Hammond's vehicle VARCHAR, Clarkson's vehicle VARCHAR, May's vehicle VARCHAR, Back-up VARCHAR, Budget VARCHAR) CREATE TABLE michigan_89_beloit_0 (michigan_89_beloit_0_id AUTO_INCREMENT PRIMARY KEY, Player VARCHAR, Touchdowns INT, Extra points INT, Field goals INT, Points INT) CREATE TABLE 1983_nascar_winston_cup_series_drivers (1983_nascar_winston_cup_series_drivers_id AUTO_INCREMENT PRIMARY KEY, Team VARCHAR, Make VARCHAR, Driver VARCHAR, Sponsor VARCHAR, Car Owner VARCHAR) CREATE TABLE destinations (destinations_id AUTO_INCREMENT PRIMARY KEY, City VARCHAR, Country VARCHAR, IATA VARCHAR, ICAO VARCHAR, Airport VARCHAR)  
SELECT City FROM destinations WHERE Country = libya AND IATA = ben