../astronaut/astronaut.sat