The following is a constraint file I constructed based on the map-coloring 
problem in the text book.

One possible solution:
 	S = r (SA)
 	N = b (NSW)
 	T = b (NT)
 	Q = g
 	V = g
 	W = g (WA)
 	R = r (T)