using System;

namespace _007._WorldSwimmingRecord
{
    class Program
    {
        static void Main(string[] args)
        {
            double worldRecordInSec = double.Parse(Console.ReadLine());
            double distanceInMeters = double.Parse(Console.ReadLine());
            double timeInSecFor1Meter = double.Parse(Console.ReadLine());

            double ivanTime = distanceInMeters * timeInSecFor1Meter;


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

            double ivansNewTime = ivanTime + resistance;

            double total = ivansNewTime + worldRecordInSec;



            if (ivansNewTime >= worldRecordInSec)
            {
                Console.WriteLine($"No, he failed! He was {total - worldRecordInSec:F2} seconds slower.");

            }
            else if (ivansNewTime < worldRecordInSec)
            {
                Console.WriteLine($"Yes, he succeeded! The new world record is {total:F2} seconds.");
            }
        }
    }
}