c nb_vertices=16 nb_token=6
c LENGTH 8
a YES
a 4 5 7 10 12 13 
a 2 4 5 7 10 12 
a 2 4 5 7 12 14 
a 2 4 5 7 14 16 
a 2 4 5 11 14 16 
a 2 4 9 11 14 16 
a 2 8 9 11 14 16 
a 6 8 9 11 14 16 
a 3 6 8 9 11 14