2-Sat problem