55 CONSTRAINT SATISFACTION 约束满足