Logic Mining for Telecommunication Churn Classification: Permutation Weighted Random 2 Satisfiability Reverse Analysis Approach | Synapse