<?php
[$n,$s] = explode(" ",trim(fgets(STDIN)));

if($s >= 25 && $s <= 29 * $n){
    echo "Yes"."\n";
}else{
    echo "No"."\n";
}

?>