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 foi o orçamento máximo alocado para qualquer serviço público em 2023, e qual serviço recebeu essa alocação?
 ###Tabelas: 
CREATE TABLE ServiceBudget (Year INT, Service VARCHAR(20), Allocation FLOAT); INSERT INTO ServiceBudget (Year, Service, Allocation) VALUES (2023, 'Education', 18000000), (2023, 'Healthcare', 25000000), (2023, 'PublicTransportation', 15000000);
SELECT Service, Allocation FROM ServiceBudget WHERE Year = 2023 ORDER BY Allocation DESC LIMIT 1;