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 é a pontuação média de satisfação dos cidadãos para bibliotecas públicas no estado do Texas?
 ###Tabelas: 
CREATE TABLE citizen_satisfaction (state VARCHAR(255), service_type VARCHAR(255), score FLOAT); INSERT INTO citizen_satisfaction (state, service_type, score) VALUES ('Texas', 'Public Libraries', 8.2), ('Texas', 'Public Schools', 7.8), ('Texas', 'Public Hospitals', 7.5);
SELECT AVG(score) AS avg_score FROM citizen_satisfaction WHERE state = 'Texas' AND service_type = 'Public Libraries';