Begin work on 2-SAT