发送短信 : A Method for Determining the Cardinality of the Set of Solutions to Congruence Equations