using System;

namespace WorldSwimmingRecord
{
    class Program
    {
        static void Main(string[] args)
        {
            double seconds = double.Parse(Console.ReadLine());
            double meters = double.Parse(Console.ReadLine());
            double secondsForOnemeter = double.Parse(Console.ReadLine());
            double Totalseconds = meters * secondsForOnemeter;
            double ExtraTime = 100 * 12.5;
            double TOtalTime = Totalseconds + ExtraTime;
            double TimeFail = TOtalTime - seconds;


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