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 astronautas tiveram problemas de saúde durante missões da SpaceX?
 ###Tabelas: 
CREATE TABLE Astronauts (AstronautID INT, Name VARCHAR(50), Gender VARCHAR(10), Manufacturer VARCHAR(50), MedicalHistory TEXT); INSERT INTO Astronauts VALUES (1, 'John Davis', 'Male', 'SpaceX', 'Minor cold'), (2, 'Emily Johnson', 'Female', 'SpaceX', 'Fractured arm'), (3, 'Michael Brown', 'Male', 'SpaceX', 'Healthy'), (4, 'Sophia Garcia', 'Female', 'SpaceX', 'Severe space sickness');
SELECT Name FROM Astronauts WHERE Manufacturer = 'SpaceX' AND MedicalHistory <> 'Healthy';