#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#include<bits/extc++.h>
using namespace std;
typedef long long ll;
typedef long long ull;
constexpr int dx[]={1,0,0,-1},dy[]={0,1,-1,0};
constexpr int mod=998244353,Mod=1e9+7;
//*
#include<atcoder/all>
using namespace atcoder;
//*/
bool nand(bool a,bool b){
	return!(a&&b);
}
int main(){
	string a[6];
	for(int i=0;i<6;i++)
		cin>>a[i];
	vector<string>unzip(a,a+6);
	sort(unzip.begin(),unzip.end());
	unzip.erase(unique(unzip.begin(),unzip.end()));
	map<string,int>zip;
	for(int i=0;i<unzip.size();i++)
		zip[unzip[i]]=i;
	int b[6];
	for(int i=0;i<6;i++)
		b[i]=zip[a[i]];
	for(int i=0;i<1<<6;i++){
		bool p[6];
		for(int j=0;j<6;j++)
			p[j]=i>>b[j]&1;
		if(nand(nand(nand(p[0],p[1]),p[2]),nand(nand(p[3],p[4]),p[5])))
			cout<<"YES"<<endl,exit(0);
	}
	cout<<"NO"<<endl;
}