using System;

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

            double swimMeter = timeSec1Meter * distanceMeter;
            double delay = Math.Floor(distanceMeter / 15) * 12.5;
            double totalTimeIvan = swimMeter + delay;

            if (totalTimeIvan < recordSec)
            {
                Console.WriteLine($"Yes, he succeeded! The new world record is {totalTimeIvan:f2} seconds.");
            }
            else

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



            }



        }
    }
}