package Exercise;

import java.util.Scanner;

public class P07WorldSwimmingRecord {
    public static void main(String[] args) {
        Scanner scanner = new Scanner(System.in);
        double recordforSecond = Double.parseDouble(scanner.nextLine());
        double distanceinMeters = Double.parseDouble(scanner.nextLine());
        double timetoswimm1m = Double.parseDouble(scanner.nextLine());

        double inputTime = distanceinMeters * timetoswimm1m;
        double timetoSwimm = Math.floor(distanceinMeters / 15)*12.5;

        double allTime = inputTime + timetoSwimm;
        if (recordforSecond >= allTime) {
            double record = recordforSecond-allTime;
            System.out.printf("No, he failed! He was %.2f seconds slower.", record);

        }else{
            double record = recordforSecond-allTime;
            System.out.printf("Yes, he succeeded! The new world record is %.2f seconds.",record);

        }
        }
    }