problems of constraint satisfaction 2794210