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: Quais países lançaram satélites com uma massa superior a 1000 kg e sua massa máxima de carga útil?
 ###Tabelas: 
CREATE TABLE heavy_satellites(satellite_id INT, name VARCHAR(50), country VARCHAR(50), launch_date DATE, launch_success BOOLEAN, payload_mass FLOAT); INSERT INTO heavy_satellites VALUES (1, 'HeavySat1', 'USA', '2000-01-01', true, 2000.5); INSERT INTO heavy_satellites VALUES (2, 'HeavySat2', 'USA', '2001-01-01', false, 1500.3); INSERT INTO heavy_satellites VALUES (3, 'HeavySat3', 'China', '2002-01-01', true, 2500.2);
SELECT country, MAX(payload_mass) as max_payload_mass FROM heavy_satellites WHERE payload_mass > 1000 GROUP BY country;