Text this: Cyklická obfuskácia a možnosti jej prelomenia SAT útokom