#include<iostream>
#include<cstring>
using namespace std;
int main()
{
	int a[8];
	for(int i=1;i<=5;i++)
	{
		cin>>a[i];
	}
	if(a[1]==1&&a[2]==2&&a[3]==3&&a[4]==4&&a[5]==5)
	{
		cout<<"No";
		return 0;
	}
	for(int i=1;i<5;i++){
		for(int j=1;j<=5-i;j++){
			if(a[j]>a[j+1]){
				swap(a[j],a[j+1]);
			}
		}
		if(a[1]!=1||a[2]!=2||a[3]!=3||a[4]!=4||a[5]!=5)
		{
			cout<<"No";
			return 0;
		}
		else
		{
			cout<<"Yes";
			return 0;
		}
	}
	return 0;
}