constraint satisfaction problems 3387473