#include using namespace std; #define rep(i, n) for (int i = 0; i < (int)(n); i++) #define repi(i, a, n) for (int i = a; i < (int)(n); i++) #define repll(i, n) for (ll i = 0; i < (ll)(n); i++) #define repill(i, a, n) for (ll i = a; i < (ll)(n); i++) #define ALL(a) (a).begin(),(a).end() #define RALL(a) (a).rbegin(),(a).rend() #define pb(a) push_back(a) #define PS(a) cout<<(a)<<" "; #define PL(a) cout<<(a)< ostream &operator<<(ostream &os, const vector< T > &v) { for(int i = 0; i < (int) v.size(); i++) { os << v[i] << (i + 1 != (int) v.size() ? " " : ""); } return os; } template< typename T > istream &operator>>(istream &is, vector< T > &v) { for(T &in : v) is >> in; return is; } template void chmin(T& t, const U& u) {if (t > u) t = u;} template void chmax(T& t, const U& u) {if (t < u) t = u;} template using V = vector; template using VV = V>; using ll = long long; using VI = vector; using P = pair; const int INF = 1001001001; const ll LINF = 1001001001001001001; const ll MOD = 998244353; int DX[4] = {1, 0, -1, 0}; int DY[4] = {0, 1, 0, -1}; void solve() { ll n,s; cin>>n>>s; if( 25*1<=s && s<=29*n ){END("Yes")} else {END("No")} return; } int main() { std::cin.tie(nullptr); std::ios_base::sync_with_stdio(false); std::cout << std::fixed << std::setprecision(15); int t; t=1; rep(_, t) solve(); return 0; }