c nb_vertices=30 nb_token=14
c LENGTH 1
a YES
a 1 5 6 8 19 20 21 22 23 24 25 26 27 29 
a 2 5 6 8 19 20 21 22 23 24 25 26 27 29