Considere o problema de satisfação com restrições, a seguir, que consiste em colorir o mapa da figura, utilizando três cores somente, de modo que países vizinhos não possuam a mesma cor