發送短信: On computational tractability for rational verification