using System;

namespace WorldSwimmingRecord
{
    class Program
    {
        static void Main(string[] args)
        {
            //1. read input - досегашен рекорд е секунди, разстоянието в метри, което трябва да се преплува,
            // времето в секунди, за което той плува 1 м.
            //2. изчисляваме за колко време ще преплува нуцното разстояние  в сек. - нужните метри* секундите за метър
            //3. добавяме 12.5 сек  към всеки 15 м. => разстоянието в метри/15 * 12.5
            //4 . общото време за преплуване -> т.2. + т.3
            //5. проверка дали т.4 е по-голяма или по малка от входа с рекорда
            //6. печат

            double currentRecord = double.Parse(Console.ReadLine());
            double needMeters = double.Parse(Console.ReadLine());
            double timePerMeter = double.Parse(Console.ReadLine());

            double timeForSwimming = needMeters * timePerMeter;
            double addSeconds = Math.Floor(needMeters / 15) * 12.5;
            double totalTimeForSwimming = timeForSwimming + addSeconds;


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