: 1 2 2 2 3 3 3 Start State Local Constraints Glo bal Constraints Goal State