c nb_vertices=23 nb_token=10
c LENGTH 1
a YES
a 12 13 14 15 17 18 19 20 21 22 
a 12 14 15 16 17 18 19 20 21 22