Swimming World Record

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

namespace _01.Fruit_Cocktail__25._06._2017
{
    class Program
    {
        static void Main(string[] args)
        {
            double record = double.Parse(Console.ReadLine());
            double meters = double.Parse(Console.ReadLine());
            double secondPerMeter = double.Parse(Console.ReadLine());

            double distance = meters * secondPerMeter;
            double addTime = Math.Floor(meters / 15) * 12.5;
            double finishTime = distance + addTime;

            double diff = Math.Abs(record - finishTime);

            if (record > finishTime)
            {
                 Console.WriteLine("Yes, he succeeded! The new world record is {0:f2} seconds.", diff);
            }
            else
                 Console.WriteLine ("No, he failed! He was {diff:f2} seconds slower.");


        }
    }
}