Αποστολή με SMS: The pseudo-Skolem Problem is decidable