发送短信: On the difficulty of presenting finitely presentable groups