#include #include #include using namespace std; using namespace atcoder; using mint = modint998244353; #define rep(i,n) for (int i = 0; i < (n); ++i) #define Inf32 1000000001 #define Inf64 4000000000000000001 int main(){ pair t; cin>>t.first>>t.second; if(t < make_pair(7,30))cout<<"Yes"<