c nb_vertices=6400 nb_token=79
c TIMEOUT 300 s
a NO