标签: 2-sat | Bill Yang's Blog