using System;

public class Program

{

    public static void Main()

    {

        double rekordsec = double.Parse(Console.ReadLine());

        double razstoqniemetri = double.Parse(Console.ReadLine());

        double razstoqniesec1m = double.Parse(Console.ReadLine());

        double prepluvanobezzabavqne;

        prepluvanobezzabavqne = razstoqniemetri * razstoqniesec1m;

        double zabavqne1;

        zabavqne1 = razstoqniemetri / 15;

        double zabavqne2;

        zabavqne2 = zabavqne1 * 12.5;

        double obshtovreme;

        obshtovreme = prepluvanobezzabavqne + zabavqne2;

        if (rekordsec < obshtovreme)

        {

            Console.WriteLine("No, he failed! He was {0:f2} seconds slower.", obshtovreme - rekordsec);

        }

        else

        {

            Console.WriteLine("Yes, he succeeded! The new world record is {0} seconds.", Math.Round((obshtovreme), 2));

        }

    }

}