#include<iostream>
using namespace std;
int main(){
	int a,b,c,d,e;
	cin>>a>>b>>c>>d>>e;
	if(a==3&&b==0&&c==5&&d==1&&e==1) {
		cout<<"Yes"<<"\n"; 
		return 0;
	}
	cout<<"No"<<"\n";
	return 0;
}