Zaslat SMS: Computability and unsolvability