WorldRecord

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

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

            double ivanTIME = (meters * timeForOneMeter);
            double waterResistans = Math.Floor(meters / 15) * 12.5;
            double totalTime =ivanTIME + waterResistans;
            if (totalTime>=record)
            {
                double diferens = totalTime-record;
                Console.WriteLine($"No, he failed! He was {diferens:F2} seconds slower.");
            }
            else if (totalTime<record)
            {
                Console.WriteLine($"Yes, he succeeded! The new world record is {totalTime:F2} seconds.");
            }

        }
    }
}