long long s;

if(a>=85&&a<=100) s=1;

else if(a>=45&&a<=84) s=2;

else if(a>=25&&a<=44) s=3;

else if(a>=1&&a<=24) s=4;

else s=0;

return s;

cin>>a>>b>>c;

long long s[4]={0,f(a),f(b),f(c)};

if(s[1]==0||s[2]==0||s[3]==0){

	cout<<"No";

	return 0;

}

sort(s+1,s+4);

x=s[1],y=s[2],z=s[3];

if(x==1){

	if(y==1){

		if(z==4) cout<<"No";
        
		else cout<<"Yes";
	}
	else if(y==2){
		if(z==3) cout<<"Yes";
		else cout<<"No";
	}
	else cout<<"No";
}
else if(x==2&&y==3&&z==4) cout<<"Yes";
else cout<<"No";
return 0;