copy pasted 2SAT