由对称性解2-SAT问题(伍昱)