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 são os nomes de todos os astronautas que voaram em uma espaçonave da SpaceTech Inc.?
 ###Tabelas: 
CREATE TABLE Astronauts (astronaut_id INT, name VARCHAR(50), flights INT); CREATE TABLE Flights (flight_id INT, spacecraft VARCHAR(50), manufacturer VARCHAR(50)); INSERT INTO Astronauts (astronaut_id, name, flights) VALUES (1, 'Astronaut1', 3), (2, 'Astronaut2', 1); INSERT INTO Flights (flight_id, spacecraft, manufacturer) VALUES (1, 'Spacecraft1', 'SpaceTech Inc.'), (2, 'Spacecraft2', 'SpaceTech Inc.');
SELECT DISTINCT a.name FROM Astronauts a JOIN Flights f ON a.flights = f.flight_id WHERE f.manufacturer = 'SpaceTech Inc.';