using System;

namespace World_Swimming_Record
{
    class Program
    {
        static void Main(string[] args)
        {
            double recordSeconds = double.Parse(Console.ReadLine());
            double meters = double.Parse(Console.ReadLine());
            double timePerMeter = double.Parse(Console.ReadLine());
            double totalTime = timePerMeter * meters;
            double lostTime = Math.Floor(meters / 15);

             totalTime = lostTime * 12.5 + totalTime;

            double difference = Math.Abs(recordSeconds - totalTime);
            if (recordSeconds > totalTime)
            {
                Console.WriteLine($" Yes, he succeeded! The new world record is {totalTime:f2} seconds.");
            }
            else
            {
                Console.WriteLine($"No, he failed! He was {difference:f2} seconds slower.");
            }

        }
    }
}