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

namespace _03ExercisesSwimmingWR
{
    class Program
    {
        static void Main(string[] args)
        {
            double worldRecord = double.Parse(Console.ReadLine());
            double razstoqnie = double.Parse(Console.ReadLine());
            double secondsForMeter = double.Parse(Console.ReadLine());
            double swimmingResult1 = razstoqnie * secondsForMeter;
            double resistanceInSeconds = Math.Floor(razstoqnie / 15);
            resistanceInSeconds *= 12.5;
            double swimmingResult = swimmingResult1 + resistanceInSeconds;
            double difference = Math.Abs(swimmingResult - worldRecord);
            if (swimmingResult < worldRecord)
            {
            Console.WriteLine("Yes, he succeeded! The new world record is {0:f2} seconds.", swimmingResult);
            }
            else if (swimmingResult > worldRecord)
            {
            Console.WriteLine("No, he failed! He was {0:f2} seconds slower.", difference);
            }
        }
    }
}