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 total do programa de exploração de Marte da NASA em 2020?
 ###Tabelas: 
CREATE SCHEMA space; CREATE TABLE mars_exploration (budget INT, year INT); INSERT INTO mars_exploration VALUES (5000000, 2018), (6000000, 2019), (7000000, 2020); 
SELECT SUM(budget) FROM space.mars_exploration WHERE year = 2020;