Solution for 2SAT (works on sample)