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: Listar os segurados que possuem uma apólice na Flórida, mas vivem fora da Flórida.
 ###Tabelas: 
CREATE TABLE policyholders (id INT, name VARCHAR(100), state VARCHAR(20)); CREATE TABLE policies (id INT, policy_number VARCHAR(50), policyholder_id INT, state VARCHAR(20)); INSERT INTO policyholders (id, name, state) VALUES (1, 'Jim Brown', 'TX'), (2, 'Pam Smith', 'CA'), (3, 'Mike Johnson', 'FL'); INSERT INTO policies (id, policy_number, policyholder_id, state) VALUES (1, 'P123', 1, 'FL'), (2, 'P456', 2, 'CA'), (3, 'P789', 3, 'TX');
SELECT DISTINCT policyholders.name FROM policyholders JOIN policies ON policyholders.id = policies.policyholder_id WHERE policies.state = 'FL' AND policyholders.state != 'FL';