标签：
http://www.cnblogs.com/kuangbin/archive/2012/10/05/2712429.html
http://www.cnblogs.com/silver-bullet/archive/2013/02/18/2915097.html
2sat问题
原文地址：http://www.cnblogs.com/bofengyu/p/5408930.html
