using System;

namespace World_Swimming_Record
{
    class Program
    {
        static void Main(string[] args)
        {
            double record = double.Parse(Console.ReadLine()); // seconds
            double distanceMetters = double.Parse(Console.ReadLine()); // the entire distance
            double timeOneMetterPerSecond = double.Parse(Console.ReadLine());

            double resistance = Math.Round(distanceMetters / 15);
            double delaySeconds = resistance * 12.5;// delay in seconds
            double totalTimeIvan = distanceMetters * timeOneMetterPerSecond + delaySeconds;

            if (totalTimeIvan > record)
            {
                Console.WriteLine($"No, he failed! He was {totalTimeIvan - record:F2} seconds slower.");
            }
            else
            {
                Console.WriteLine($"Yes, he succeeded! The new world record is {totalTimeIvan:F2} seconds.");

            }
        }
    }
}