import java.util.Scanner;

public class WorldSwimmingRecord {
    public static void main(String[] args) {
        Scanner scanner = new Scanner(System.in);

        double recordInSeconds = Double.parseDouble(scanner.nextLine());
        double distanceInMeters = Double.parseDouble(scanner.nextLine());
        double timeInSecondsPerMeter = Double.parseDouble(scanner.nextLine());

        double area = distanceInMeters * timeInSecondsPerMeter;
        double waterPressure = distanceInMeters / 15;
        double resultOfWaterPressure = waterPressure * 12.5;
        Math.floor(resultOfWaterPressure);

        double allTime = area + resultOfWaterPressure;

        if (allTime < recordInSeconds) {
            System.out.printf("No, he failed! He was %.2f seconds slower.", allTime);
        } else {
            System.out.printf("Yes, he succeeded! The new world record is %.2f seconds.", allTime);
        }

    }
}