using System;

public class Program
{
    public static void Main()
    {
        double sec = double.Parse(Console.ReadLine());
        double distance = double.Parse(Console.ReadLine());
        double secForOneMetter = double.Parse(Console.ReadLine());

        double mustSwim = distance * secForOneMetter;
        double addSec = Math.Floor(distance / 15) * 12.5;

        double time = mustSwim + addSec;

        if(time < sec)
        {
            Console.WriteLine("Yes, he succeeded! The new world record is {0:f2} seconds.", mustSwim + addSec);
        }
        else
        {
            Console.WriteLine("No, he failed! He was {0:f2} seconds slower.", time - sec);
        }
    }
}