import java.awt.*;
import java.util.Scanner;

public class Records {
    public static void main(String[] args) {
        Scanner scan = new Scanner(System.in);
        double recordInSeconds = Double.parseDouble(scan.nextLine());
        double razstoqnieMeters = Double.parseDouble(scan.nextLine());
        double timeInSecFor1Meter = Double.parseDouble(scan.nextLine());

        double MetersandSeconds = razstoqnieMeters * timeInSecFor1Meter;
        double  suprotivlenie = Math.floor (razstoqnieMeters/15)*12.5;
       // Math.floor(suprotivlenie);
       // double suprtovienie = 100 * 12.5;
        double totalTime = MetersandSeconds + suprotivlenie;

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