SMT solver – Petaya ransomware decryptor | Dark Hacker News