enum Color; var Color: wa; var Color: nt; var Color: sa; var Color: q; var Color: nsw; var Color: v; var Color: t; constraint wa != nt /\ wa != sa /\ nt != sa /\ nt != q /\ sa != q; constraint sa != nsw /\ sa != v /\ q != nsw /\ nsw != v; solve satisfy;