using System;


namespace world_swimming_record
{
    class Program
    {
        static void Main(string[] args)
        {
            double record_in_seconds_GOAL = double.Parse(Console.ReadLine());
            double Distance_in_meters = double.Parse(Console.ReadLine());
            double time_to_swim_1m = double.Parse(Console.ReadLine());
            //-------------------------------------------------------
            double resistance_per_15m = 12.50;

            double Original_Time = Distance_in_meters * time_to_swim_1m;
            double Bonus_To_Time = (Distance_in_meters / 15) * resistance_per_15m;
            double Full_Time = Original_Time + Bonus_To_Time;
            //-------------------------

            double difference_positive = record_in_seconds_GOAL - Full_Time;
            double difference_negative = Full_Time - record_in_seconds_GOAL;
            //-------------------------
            if (difference_positive > 0) { Console.WriteLine("Yes, he succeeded! The new world record is " + Full_Time.ToString("F2") + " seconds."); }
            else { Console.WriteLine("No, he failed! He was " + difference_negative.ToString("F2") + " seconds slower."); }


        }
    }
}