#constraint-satisfaction-problem