#include<bits/stdc++.h>
using namespace std;
long long a,b,c,x,y,z;
int main(){
    cin>>a>>b>>c;
    if(a>=85&&a<=100) x=1;
    else if(a>=45&&a<=84) x=2;
    else if(a>=25&&a<=44) x=3;
    else if(a>=1&&a<=24) x=4;
    if(b>=85&&b<=100) y=1;
	else if(b>=45&&b<=84) y=2;
	else if(b>=25&&b<=44) y=3;
	else if(b>=1&&b<=24) y=4;
	if(c>=85&&c<=100) z=1;
	else if(c>=45&&c<=84) z=2;
	else if(c>=25&&c<=44) z=3;
	else if(c>=1&&c<=24) z=4;
	if(x==1&&y==1&&z==1) cout<<"Yes"<<endl;
	else if(x==0||y==0||z==0) cout<<"No"<<endl;
	else if((x==2||y==2||z==2)&&(x==3||y==3||z==3)&&(x==4||y==4||z==4)) cout<<"Yes"<<endl;
	else if((x==1||y==1||z==1)&&(x==2||y==2||z==2)&&(x==3||y==3||z==3)) cout<<"Yes"<<endl;
	else if(((x==1&&y==1)||(y==1&&z==1)||(x==1||z==1))&&((x==3||y==3||z==3)||(x==2||y==2||z==2))) cout<<"Yes"<<endl;
	else cout<<"No"<<endl;
    return 0;
}