using System;

namespace World_Swimming_Record
{
    class Program
    {
        static void Main(string[] args)
        {
            double recordSec = double.Parse(Console.ReadLine());

            double distanceMeter = double.Parse(Console.ReadLine());

            double timeSec = double.Parse(Console.ReadLine());

            double finalTimeSec = distanceMeter * timeSec;

            double resistanceWater = (Math.Floor (distanceMeter / 15) * 12.5);

            double totalTime = finalTimeSec + resistanceWater;


            if (recordSec < totalTime)


            {
                double restTime = totalTime - recordSec;
                Console.WriteLine($"No, he failed! He was {restTime:f2} seconds slower.");

            }



             else if (recordSec > totalTime)

            {

                Console.WriteLine($"Yes, he succeeded! The new world record is {totalTime:f2} seconds.");

            }
        }
    }
}