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 nave espacial mais pesada lançada pela ISRO?
 ###Tabelas: 
CREATE TABLE SpacecraftManufacturing (manufacturer VARCHAR(255), spacecraft_name VARCHAR(255), mass FLOAT, launch_date DATE); INSERT INTO SpacecraftManufacturing (manufacturer, spacecraft_name, mass, launch_date) VALUES ('ISRO', 'Chandrayaan-1', 1380, '2008-10-22'), ('ISRO', 'Mangalyaan', 1350, '2013-11-05'), ('ISRO', 'GSAT-12', 1410, '2011-07-15');
SELECT spacecraft_name, mass FROM SpacecraftManufacturing WHERE manufacturer = 'ISRO' ORDER BY mass DESC LIMIT 1;