ConstrationSatisfactionProblem