c nb_vertices=36 nb_token=5
c LENGTH 9
a YES
a 3 12 23 25 34 
a 12 14 23 25 34 
a 6 14 23 25 34 
a 6 8 23 25 34 
a 6 8 17 25 34 
a 6 8 17 25 33 
a 4 8 17 25 33 
a 4 8 24 25 33 
a 8 16 24 25 33 
a 5 8 16 24 33