c nb_vertices=500 nb_token=12
c LENGTH 1
a YES
a 12 108 127 189 196 260 293 374 389 396 476 490 
a 12 127 189 196 260 293 334 374 389 396 476 490