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: Liste as 5 principais cidades inteligentes com o maior total de compensação de carbono para projetos de energia eólica.
 ###Tabelas: 
CREATE TABLE smart_cities (id INT, name VARCHAR(50), location VARCHAR(50), carbon_offset INT, wind_energy_capacity INT);
SELECT name FROM smart_cities WHERE wind_energy_capacity = (SELECT MAX(wind_energy_capacity) FROM smart_cities) AND carbon_offset = (SELECT MAX(carbon_offset) FROM smart_cities) LIMIT 5;