2-sat构造可行解深刻理解