5 CONSTRAINT SATISFACTION PROBLEMS