07. World Swimming Record

import math

record = float(input())
distance = float(input())
time = float(input())

first_time = distance * time
delay_distance = distance / 15.0
delay_time = math.floor(delay_distance) * 12.5
real_time = first_time + delay_time

if real_time >= record: # тук трябваше да добавя един знак за равно /благодаря на колегата grishko0o/
    real_time -= record
    print(f'No, he failed! He was {real_time:.2f} seconds slower.')
elif real_time < record:
    print(f'Yes, he succeeded! The new world record is {real_time:.2f} seconds.')