Text this: Local Consistency and SAT-Solvers