using System;

public class MAIKATI
{
	public static void Main()
	{
		double record = double.Parse(Console.ReadLine());
		double distance = double.Parse(Console.ReadLine());
		double timeForM = double.Parse(Console.ReadLine());

		double goal = timeForM * distance;
		double extraTime = Math.Round(distance /15) * 12.5;
		double result = goal + extraTime;

		if(result < record)
		{
			Console.WriteLine(" Yes, he succeeded! The new world record is {0:f2} seconds.", result);
		}
		else
		{
			double difference = result - record;

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