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: Qual é o valor total dos contratos de defesa concedidos a empresas no Texas no 1º trimestre de 2020?
 ###Tabelas: 
CREATE TABLE Defense_Contracts (contract_id INT, company_name TEXT, state TEXT, award_amount FLOAT, quarter INT, year INT); INSERT INTO Defense_Contracts (contract_id, company_name, state, award_amount, quarter, year) VALUES (1, 'Texas Manufacturing Inc', 'Texas', 5000000, 1, 2020), (2, 'Austin Defense Systems', 'Texas', 3000000, 1, 2020);
SELECT SUM(award_amount) FROM Defense_Contracts WHERE state = 'Texas' AND quarter = 1 AND year = 2020;