#include<bits/stdc++.h>
using namespace std;
int a;
int main()
{
	int jstg=0,gfbl=0,dfbl=0,zsjbl=0;
	for(int i=1;i<=3;i++)
	{
		cin>>a;
		if(85<=a&&a<=100)
		{
			jstg++;
		}
		if(45<=a&&a<=84)
		{
			gfbl++;
		}
		if(25<=a&&a<=44)
		{
			dfbl++;
		}
		if(1<=a&&a<=24)
		{
			zsjbl++;
		}
	}
	if((gfbl==11&&dfbl==1&&zsjbl==1)||(jstg==1&&gfbl==1&&dfbl==1)||(jstg==2&&dfbl==1)||(jstg==2&&gfbl==1)||(jstg==3))
	{
		cout<<"Yes";
		return 0;
	}
	else
	{
		cout<<"No";
		return 0;
	}
}