SMS: Computability and unsolvability