using System;

namespace _07._World_Swimming_Record
{
    class Program
    {
        static void Main(string[] args)
        {
            double currentRecord = double.Parse(Console.ReadLine());
            double recordDistance = double.Parse(Console.ReadLine());
            double secondsPerMeter = double.Parse(Console.ReadLine());

            double ivansSeconds = recordDistance * secondsPerMeter;
            double resistance = Math.Floor(recordDistance / 15) * 12.5;

            double ivansTime = ivansSeconds + resistance;
             if (ivansTime < currentRecord)
            {
                Console.WriteLine($" Yes, he succeeded! The new world record is {ivansTime:F2} seconds.");
            }
             else if (currentRecord <= ivansTime)
            {
                Console.WriteLine($"No, he failed! He was {ivansTime - currentRecord:F2} seconds slower.");
            }
        }
    }
}