6约束满足问题解析