Pošalji tekstualnu poruku: Local consistency and SAT−solvers