No sé qué poner como título porque realmente no sé por qué no funciona el programa, más bien por qué no se ejecuta correctamente. Mi intención es que el bucle se repita mientras se introduzca un valor no válido, es decir: distinto de 'a', 'g', 'c' o 't'. Y haciendo diversos cambios lo único que hemos conseguido es: o que el primer dato introducido no lo reconozca como válido aunque lo sea, y el segundo sí aunque no lo sea, o que no reconozca ningún valor como válido.