<?php

$record = floatval(readline());
$distance = floatval(readline());
$timeFor1M = floatval(readline());

//calculation
$timeForMeters = $distance*$timeFor1M;
//echo $timeForMeters.PHP_EOL;
$calc=floor($distance/15);
//echo $calc.PHP_EOL;
$late= $calc*12.5;
//echo $late.PHP_EOL;
$totalTime=$timeForMeters+$late;
//echo $totalTime.PHP_EOL;
$timeForRecord=$totalTime-$record;

if ($totalTime>$record){
    printf("No, he failed! He was %.2f seconds slower.",$timeForRecord);
}
elseif($totalTime<$record){
    printf("Yes, he succeeded! The new world record is %.2f seconds.",$totalTime);
}