55 约束满足