由对称性解2-sat问题