using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace ConsoleApp57
{
    class Program
    {
        static void Main(string[] args)
        {
            double record = double.Parse(Console.ReadLine());
            double meters = double.Parse(Console.ReadLine());
            double time = double.Parse(Console.ReadLine());

            double prepluvani = (meters * time);
            double dobaveniSek = ((meters / 15) * 12.5);
            double alltime =(( prepluvani + dobaveniSek));
            if (record<alltime)
            {
                double ostanaloTime = Math.Floor(alltime - record);
                Console.WriteLine($"No, he failed! He was {ostanaloTime:f2} seconds slower.");
            }
            else
            {
                Console.WriteLine($"Yes, he succeeded! The new world record is {alltime:f2} seconds.");
            }
        }
    }
}