/*#include // cout, endl, cin #include // string, to_string, stoi #include // vector #include // min, max, swap, sort, reverse, lower_bound, upper_bound #include // pair, make_pair #include // tuple, make_tuple #include // int64_t, int*_t #include // printf #include // map #include // queue, priority_queue #include // set #include // stack #include // deque #include // unordered_map #include // unordered_set #include // bitset #include // isupper, islower, isdigit, toupper, tolower #include //fixed,setprecision #include //INT_MAX #include //M_PI #include #include // 正規表現 #include */ #include using namespace std; #include using namespace atcoder; //using mint = modint1000000007; using mint = modint998244353; //std::chrono::time_point start; template bool chmax(T &u, const T z) { if (u < z) {u = z; return true;} else return false; } template bool chmin(T &u, const T z) { if (u > z) {u = z; return true;} else return false; } #define ll long long #define rep(i, n) for (ll i = 0; i < (ll)(n); i++) typedef pair P; using vi=vector; using vvi=vector; ll gcd(ll x, ll y) { return y ? gcd(y, x % y) : x; } ll lcm(ll a, ll b){return a * b / gcd(a, b);} template //contain(string s,string v) sにvが含まれるかを判定 bool contain(const std::basic_string& s, const U& v) { return s.find(v) != std::basic_string::npos; } // トポロジカルソートする struct toposo { vector> E; toposo(int n) { E.resize(n); } void add_edge(int a, int b) { E[a].push_back(b); } bool visit(int v, vector& order, vector& seen) { seen[v] = 1; for (int u : E[v]) { if (seen[u] == 2) continue; if (seen[u] == 1) return false; if (!visit(u, order, seen)) return false; } order.push_back(v); seen[v] = 2; return true; } // トポロジカルソート順 bool sort(vector &order) { int n = E.size(); vector seen(n); rep(u,n)if (!seen[u] && !visit(u, order, seen)) return false; reverse(order.begin(), order.end()); return true; } }; int main(){ int n,s; cin>>n>>s; if(25+n-1<=s&&30*n>s)cout<<"Yes"<