3.4.3 约束满足问题