2-Sat problem, intermediate