c nb_vertices=250 nb_token=11
c LENGTH 1
a YES
a 53 80 97 100 105 113 128 142 166 233 246 
a 53 80 91 97 100 105 113 128 142 166 246