この資料をSMS送信: Propositional satisfiability method in rough classification modeling for data mining