old_record = float(input())
distance = float(input())
time_1m = float(input())

slowdown = (distance // 15) * 12.5
new_record = (distance * time_1m) + slowdown
ostatuk = abs(old_record - new_record)

if old_record > new_record:
    print(f" Yes, he succeeded! The new world record is {new_record:.2f} seconds.")
else:
    print(f"No, he failed! He was {ostatuk:.2f} seconds slower.")