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 os contratantes de defesa na Flórida que não tiveram nenhum contrato no último ano.
 ###Tabelas: 
CREATE TABLE defense_contractors (contract_id INT, company_name TEXT, state TEXT, last_contract_date DATE); INSERT INTO defense_contractors (contract_id, company_name, state, last_contract_date) VALUES (1, 'ABC Corp', 'Florida', '2021-04-01'), (2, 'XYZ Inc', 'Florida', NULL), (3, 'DEF Ltd', 'Florida', '2021-09-30');
SELECT company_name FROM defense_contractors WHERE state = 'Florida' AND last_contract_date IS NULL OR last_contract_date < '2021-01-01';