using System;

namespace gg
{

namespace World_Swimming_Record
    {
        class Program
        {
            static void Main(string[] args)
            {
                double record = double.Parse(Console.ReadLine());
                double meters = double.Parse(Console.ReadLine());
                double timePerMeter = double.Parse(Console.ReadLine()); // v sekundi

                double alltTime = meters * timePerMeter; // vremeto na ivan
                double delayTime = Math.Floor(meters / 15); // puti zabavqne
                double delay = (delayTime * 12.5); //zabavqne v sekundi
                double timeWithDelay = alltTime + delay; //cqloto muu vreme + zabavqneto

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


            }
        }
    }
}