swimming

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

namespace WorldSwimmingRecord
{
    class Program
    {
        static void Main(string[] args)
        {
            double recordInSeconds = double.Parse(Console.ReadLine());
            double distanceInMeters = double.Parse(Console.ReadLine());
            double secondsFor1Meter = double.Parse(Console.ReadLine());

            double time = distanceInMeters * secondsFor1Meter;
            double delay =((int)distanceInMeters / 15.0) * 12.5d;
            double finalTime = time + delay;

            if (recordInSeconds <= finalTime)
            {
                double difference = finalTime - recordInSeconds;
                Console.WriteLine($"No, he failed! He was {difference:F2} seconds slower.");
            }
            else
                Console.WriteLine($"Yes, he succeeded! The new world record is {finalTime:F2} seconds.");
        }
    }
}