c nb_vertices=11 nb_token=4
c LENGTH 3
a YES
a 6 7 9 10 
a 6 8 9 10 
a 1 6 8 10 
a 1 3 6 8