c nb_vertices=14 nb_token=6 c LENGTH 12 a YES a 1 3 7 9 12 14 a 1 4 7 9 12 14 a 2 4 7 9 12 14 a 2 4 5 9 12 14 a 2 4 5 9 11 14 a 2 4 8 9 11 14 a 1 4 8 9 11 14 a 1 3 8 9 11 14 a 1 3 6 8 11 14 a 1 3 6 8 11 13 a 1 3 8 10 11 13 a 1 4 8 10 11 13 a 2 4 8 10 11 13