using System;

namespace SwimmingRecord
{
    class Program
    {
        static void Main(string[] args)
        {
            double theRecord = double.Parse(Console.ReadLine());
            double theDistance = double.Parse(Console.ReadLine());
            double speedIn1MeterInSeconds = double.Parse(Console.ReadLine());

            double shouldSwim = theDistance * speedIn1MeterInSeconds;
            double resistance = Math.Floor(theDistance / 15) * 12.5;
            double totalTime = shouldSwim + resistance;



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

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

            }


        }
    }
}