c nb_vertices=30 nb_token=13
c LENGTH 3
a YES
a 1 5 8 19 20 21 22 23 24 25 26 27 29 
a 1 3 5 19 20 21 22 23 24 25 26 27 29 
a 1 3 9 19 20 21 22 23 24 25 26 27 29 
a 3 4 9 19 20 21 22 23 24 25 26 27 29