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