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: Encontre o total segurado para apólices com cobertura 'Comprehensive' na região 'TX'.
 ###Tabelas: 
CREATE TABLE Policy (PolicyID INT, PolicyholderID INT, Coverage VARCHAR(20), SumInsured DECIMAL(10,2)); INSERT INTO Policy (PolicyID, PolicyholderID, Coverage, SumInsured) VALUES (1, 1, 'Comprehensive', 5000); INSERT INTO Policy (PolicyID, PolicyholderID, Coverage, SumInsured) VALUES (2, 2, 'Third Party', 3000);
SELECT SUM(SumInsured) FROM Policy WHERE Coverage = 'Comprehensive' AND PolicyholderID IN (SELECT PolicyholderID FROM Policyholder WHERE State = 'TX');