c nb_vertices=1000 nb_token=13
c LENGTH 2
a YES
a 15 128 160 162 209 291 473 564 650 755 770 807 867 
a 15 128 160 162 209 291 473 564 650 755 770 807 890 
a 15 128 160 162 209 473 489 564 650 755 770 807 890