發送短信: The pseudo-Skolem Problem is decidable