using System;

namespace _06._World_Swimming_Record
{
    class Program
    {
        static void Main(string[] args)
        {
            double record, distance, seconds, theoreticalSpeed, actualSpeed, hisRecord,difference;
            difference = 0;
            record = double.Parse(Console.ReadLine());
            distance = double.Parse(Console.ReadLine());
            seconds = double.Parse(Console.ReadLine());

            theoreticalSpeed = distance * seconds;
            actualSpeed = distance / 15 * 12.5; // ето тук е проблема излиза ми 2514.1666666666665 а трябва да е 2512.50

            //Console.WriteLine(actualSpeed);
            hisRecord = theoreticalSpeed + actualSpeed;

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

        }
    }
}