Zaslať SMS: Riešenie SAT problému