#include<bits/stdc++.h>
using namespace std; 
typedef long long ll;
typedef float fl;
typedef bool bl;
typedef string st;
typedef pair<int,int> P;
const int INF=100000000;
const ll INFx=1000000000000;
int dx[4]={1,0,-1,0};
int dy[4]={0,1,0,-1};
string fi="01234567890123456789";
string al="abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz";
string AL="ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFGHIJKLMNOPQRSTUVWXYZ";
#define rep(i,n) for(int i=0;i<(n);++i)
#define YESNO(flag) if(flag){cout<<"YES"<<endl;}else{cout<<"NO"<<endl;}
#define yesno(flag) if(flag){cout<<"yes"<<endl;}else{cout<<"no"<<endl;}
#define YesNo(flag) if(flag){cout<<"Yes"<<endl;}else{cout<<"No"<<endl;}


int main(){
 ll n,s; cin>>n>>s;
 int i=s%n;

 s/=n;
 if(i>0){
      s++;
 }
 
 if(25<=s&&s<30){
   cout<<"Yes";
 }else{
   cout<<"No";
 }
} 

                                                                                                                           /*  
+++++        ++                                
++  +++                   +                                                                    /\          /\
++    +++    ++          ++                                                                   /  \        /  \
++      ++   ++     ++++++++++  +++        ++++      +++      +++++       +++++              /    \      /    \
++      ++   ++     ++      ++    +++     ++++++    +++     ++     ++   ++     ++          
++    +++    ++     ++      ++      +++  +++  +++  +++      ++++++++++  ++++++++++
++  +++      ++     ++++++++++       ++++++    ++++++       ++          ++ 
+++++        ++          ++           ++++      ++++         ++++++++    ++++++++               "Lets Enjoy!"   
                    ++++++++++     
                    ++      ++    
                    ++      ++
                    ++++++++++                                                                               
 
                                         Λ  Λ    ／￣￣￣￣￣￣￣￣￣￣￣
                                        ( ﾟーﾟ）＜ now rating【157】+55 
                                         ￣￣    ＼＿＿＿＿＿＿＿＿＿＿＿
    人     ／￣￣￣￣￣￣￣￣￣￣￣￣￣
 （ ﾟーﾟ）＜  #灰coderですがなにか                                                                                                                                                
   ￣￣    ＼＿＿＿＿＿＿＿＿＿＿＿

                                                                                                                          */