worldRecord

import java.util.Scanner;

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

        double record = Double.parseDouble(scan.nextLine());
        double lenght = Double.parseDouble(scan.nextLine());
        double timeFor = Double.parseDouble(scan.nextLine());

        double totalTime = lenght * timeFor;
        double delay = Math.floor(lenght / 15) * 12.5;
        double total = totalTime + delay;

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