Research on Task Planning Problems for Deep Space Exploration Based on Constraint Satisfaction