using System;

namespace WorldSwimmingRecord
{
    class Program
    {
        static void Main(string[] args)
        {

            double worldRecordSeconds = double.Parse(Console.ReadLine());
            double worldRecordDistance = double.Parse(Console.ReadLine());
            double secondsForMeterIvan = double.Parse(Console.ReadLine());

            double ivanSlowed = Math.Floor(worldRecordDistance / 15) * 12.5;
            double ivanTime = secondsForMeterIvan * worldRecordDistance + ivanSlowed;

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


        }
    }
}