c nb_vertices=4900 nb_token=69
c TIMEOUT 300 s
a NO