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: Quantos casos de resolução alternativa de disputas foram resolvidos na Flórida em 2020?
 ###Tabelas: 
CREATE TABLE Cases (CaseID INT, CaseType TEXT, ResolutionDate DATE, State TEXT); INSERT INTO Cases (CaseID, CaseType, ResolutionDate, State) VALUES (1, 'Mediation', '2020-03-20', 'Florida'); INSERT INTO Cases (CaseID, CaseType, ResolutionDate, State) VALUES (2, 'Arbitration', '2020-06-12', 'Florida');
SELECT COUNT(*) FROM Cases WHERE CaseType = 'Alternative Dispute Resolution' AND State = 'Florida' AND YEAR(ResolutionDate) = 2020;