En el código solución faltó incluir en el condicional el operador >=, para que se incluya a las millas iguales a 5 mil, esto según una parte del problema planteado. Adicionalmente desde las condiciones del programa de descuentos no se tuvieron en cuenta ni a quienes tienen exactamente 5.000 y 30.000 millas.