##########################################################
{ Australia Coloring Problem }
{ 7 { NSW, NT, Q, SA, T, V, WA }}
{ { * { R, G, B } } }
{ }
{ { NT, WA, #'mutex }
  { SA, WA, #'mutex }
  { NT, SA, #'mutex }
  { NT, Q, #'mutex }
  { Q, SA, #'mutex }
  { NSW, Q, #'mutex }
  { NSW, SA, #'mutex }
  { NSW, V, #'mutex }
  { SA, V, #'mutex }
}
{ }
{ FCCBJ, false, S }
#########################################################