vtx(1).
vtx(2).
vtx(3).
vtx(4).
vtx(5).
edge(1, 2).
edge(2, 3).
edge(3, 4).
edge(4, 5).
edge(3, 2).
edge(1, 3).
edge(2, 4).
edge(5, 1).
start(1).