void camino_corto(int s, int t, int camino[]) {