Отправить по sms: Local consistency and SAT−solvers