3 SAT | 13 Input