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 nome de uma autoridade estadual que tem um Rol de 72?
  ###Tabelas:
CREATE TABLE table_name_13 (name VARCHAR, authority VARCHAR, roll VARCHAR)


SELECT name FROM table_name_13 WHERE authority = "state" AND roll = "72"