Detecting Feature Interactions in Telecommunication Services with a SAT Solver