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 todos os programas de tecnologia social lançados no primeiro semestre do ano de 2023 para áreas rurais.
 ###Tabelas: 
CREATE TABLE SocialGoodTech (Year INT, Quarter INT, Rural VARCHAR(50), Program VARCHAR(255)); INSERT INTO SocialGoodTech (Year, Quarter, Rural, Program) VALUES (2022, 1, 'Urban', 'EduTech'), (2022, 2, 'Urban', 'HealthTech'), (2023, 1, 'Rural', 'AgriTech'), (2023, 2, 'Rural', 'FinTech');
SELECT DISTINCT Program FROM SocialGoodTech WHERE Year = 2023 AND Quarter = 1 AND Rural = 'Rural';