SMS versenden: Riešenie SAT problému