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 satélites foram implantados tanto pela SpaceTech Inc. quanto pela Orbital Inc.?
 ###Tabelas: 
CREATE TABLE Satellites (satellite_id INT, name VARCHAR(50), launch_date DATE, manufacturer VARCHAR(50)); INSERT INTO Satellites (satellite_id, name, launch_date, manufacturer) VALUES (1, 'Sat1', '2020-01-01', 'SpaceTech Inc.'), (2, 'Sat2', '2019-05-15', 'Orbital Inc.'), (3, 'Sat3', '2021-03-27', 'SpaceTech Inc.'), (4, 'Sat4', '2018-12-12', 'Orbital Inc.');
SELECT name FROM Satellites WHERE manufacturer IN ('SpaceTech Inc.', 'Orbital Inc.') GROUP BY name HAVING COUNT(DISTINCT manufacturer) = 2;