4 SAT | 17 Input