Problem Solved

建模
虽然是3个集合，但是每个人只有两个选择。宇航员之间的互憎关系即变量真假值得约束。典型的2-SAT问题。
算法
2-SAT求解。
Debug
题目要求年龄大于等于平均值，不应该用 age[i] >=avgage， 而应该使用 age[i]*N >= sumage
"No solution." 而不是 "No solution"。