Swimming Record

package IzpitZadachi.b_Second;

import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

public class WorldRecordSwimming_Alone17Min {
    public static void main(String[] args) throws IOException {
        BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
        Double recordSeconds = Double.valueOf(reader.readLine());
        Double metres = Double.valueOf(reader.readLine());
        Double oneMeterSpeed = Double.valueOf(reader.readLine());


        double speed = metres * oneMeterSpeed;

        double techenie = Math.floor(metres/15);
        techenie = techenie * 12.5;

        double sumSpeed = speed + techenie;

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


    }
}