2 SAT | 9 Input