import jdk.nashorn.api.tree.IfTree;

import java.util.Scanner;

public class test {
    public static void main(String[] args) {
        Scanner scanner = new Scanner(System.in);
        double worldRecord = Double.parseDouble(scanner.nextLine());
        double distanceMeters = Double.parseDouble(scanner.nextLine());
        double timeSecPerMin = Double.parseDouble(scanner.nextLine());

        double ivanTimeInSec = distanceMeters * timeSecPerMin;

        double count = Math.floor(distanceMeters / 15);


        ivanTimeInSec += count * 12.5;
        if (ivanTimeInSec <= worldRecord) {
            System.out.printf("Yes, he succeeded! The new world record is %.2f seconds.", ivanTimeInSec);
        } else {
            double diff = ivanTimeInSec - worldRecord;
            System.out.printf("No, he failed! He was %.2f seconds slower.", diff);
        }

    }
}