发送短信: Propositional satisfiability method in rough classification modeling for data mining