Anfonwch hwn fel neges destun: Bridging Constraint Satisfaction and Boolean Satisfiability