Text this: Propositional satisfiability method in rough classification modeling for data mining