rt，玄关。

#include<bits/stdc++.h>
using namespace std;
int s[4];
int main(){
	int a,b,c;
	for(int i=1;i<=3;i++){
		cin>>s[i];
	}
	sort(s+1,s+3+1);
	a=s[3],b=s[2],c=s[1];
	if(a>=45&&a<=84&&b>=25&&b<=44&&c>=1&&c<=24){
		cout<<"Yes";
	}
	else if(a>=85&&b>=45&&b<=84&&c>=25&&c<=44){
		cout<<"Yes";
	}
	else if(a>=85&&b>=85&&(c>=45&&c<=84)||(c>=25&&c<=44)){
		cout<<"Yes";
	}
	else if(a>=85&&b>=85&&c>=85){
		cout<<"Yes";
	}
	else {
		cout<<"No";
	}
	return 0;
}