Envoyer par SMS: Cyklická obfuskácia a možnosti jej prelomenia SAT útokom