2-sat 2-sat 2-sat 2-sat 2-sat 2-sat. There are any references about 2-sat 2-sat in here. you can look below. 2-sat 2-sat2-sat 2-sat2-sat 2-sat