swiming

using System;

namespace swimming
{
    class Program
    {
        static void Main(string[] args)
        {
            double recordSeconds = double.Parse(Console.ReadLine());
            double distance = double.Parse(Console.ReadLine());
            double timePerMeter = double.Parse(Console.ReadLine());


            double swimTime = distance * timePerMeter;
           double layTime = Math.Floor(distance / 12.5) * 12.5;
            double totalTime = swimTime + layTime;
            if (recordSeconds < totalTime)
            {
                Console.WriteLine($" Yes, he succeeded!The new world record is { totalTime:F} seconds.");
            }
            else
            {
                double needSecon = recordSeconds - totalTime;
                Console.WriteLine($" No, he failed!He was { needSecon:F} seconds slower.");
            }

        }
    }
}