Spójrz na mapę Europy i przyjrzyj się jak ułożone są Polska, Niemcy i Słowacja. Czy wystarczy czerwony i zielony, żeby pokolorować te trzy kraje w taki sposób, żeby sąsiadujące ze sobą kraje nie były pokolorowane tym samym kolorem? A gdyby wziąć Polskę, Niemcy i Czechy?

Na wejściu dane są informacje o sąsiadujących ze sobą parach krajów, w postaci faktow sasiaduje(Kraj1, Kraj2). (uwaga: o ewentualną symetrię, tzn. sasiaduje(Kraj2, Kraj1) musisz się zatroszczyć samemu!). Napisz program, który wygeneruje wszystkie możliwe pokolorowania takiej mapy za pomocą czerwonego czerwony(Kraj) i zielonego zielony(Kraj).

Dodatkowo, jeżeli w danym modelu jakakolwiek para sąsiadujących krajów jest pokolorowana tym samym kolorem, to w danym modelu powinien się też pojawić literał zle. W przeciwnym razie (tzn. jeżeli w każdej parze sąsiadów są różne kolory) powinien pojawić się literał dobrze.