using System;

namespace _06. World_Swimming_Record
{
    class Program
    {
        static void Main()
        {
         double recordInSec = double.Parse(Console.ReadLine());
         double distanceInMeters = double.Parse(Console.ReadLine());
         double timeInSecFor1Meters = double.Parse(Console.ReadLine());

         double mustSwim = distanceInMeters * timeInSecFor1Meters;

         double delay = Math.Floor(distanceInMeters / 15) * 12.5;

         double totalTime = mustSwim + delay;

         if (totalTime < recordInSec)
         {
            Console.WriteLine($"Yes, he succeeded! The new world record is {totalTime:f2} seconds.");
         }
         else
         {
            Console.WriteLine($"No, he failed! He was {totalTime - recordInSec:f2} seconds slower.");
         }   
        }
    }
}