<?php

$money = floatval(readline());
$year = intval(readline());
$ComplatedYears=19;

for ($i = 1800; $i <= $year; $i++) {
    if ($i % 2 == 0) {
        $money = $money - 12000;
    }
    if ($i % 2 !== 0) {
        $perNYears = 12000 + ($ComplatedYears * 50);
        $money = $money - $perNYears;
        $ComplatedYears+=2;
    }
}
if ($money >= 0) {
printf("Yes! He will live a carefree life and will have %0.2f dollars left.", $money); }
    else{
    printf("He will need %0.2f dollars to survive." ,abs($money));

}