#include <bits/stdc++.h>
#define ll long long
#define ld long double
#define slld(t) scanf("%lld",&t)
#define sd(t) scanf("%d",&t)
#define sc(x) scanf("%s",x)
#define pd(t) printf("%d\n",t)
#define plld(t) printf("%lld\n",t)
#define mp(a,b) make_pair(a,b)
#define pii pair<int,int> 
#define pli pair<ll,int>
#define pil pair<int,ll>  
#define pll pair<ll,ll>
#define ff first
#define ss second
#define pb(x) push_back(x)
#define ub upper_bound
#define lb lower_bound
#define all(x) x.begin(),x.end()
#define sz(x) (int)x.size()
#define clr(x) memset(x,0,sizeof(x))
#define sws ios::sync_with_stdio(false); cin.tie(0); cout.tie(0)
#define pi acos(-1)
#define rep(I, N) for (ll I = 0; I < (N); ++I)
#define repp(I, a, B) for (ll I = (a); I <= (B); ++I)
using namespace std;
#define TRACE

#ifdef TRACE
#define t(...) __f(#__VA_ARGS__, __VA_ARGS__)
template <typename Arg1>
void __f(const char* name, Arg1&& arg1){
    cout << name << " : " << arg1 << std::endl;
}
template <typename Arg1, typename... Args>
void __f(const char* names, Arg1&& arg1, Args&&... args){
    const char* comma = strchr(names + 1, ',');cout.write(names, comma - names) << " : " << arg1<<" | ";__f(comma+1, args...);
}
#else
#define t(...)
#endif
string itos(ll i) 
{
    string s = "";
    while(i)
    {
        s += char(i % 10 + '0');
        i /= 10; 
    }
    reverse(all(s));  
    return s; 
}
ll stoi(string &s) 
{
    ll tot = 0; 
    for (int i = (int)s.length() - 1, j = 1; i >= 0; i--, j *= 10) 
    {
        tot += j * (s[i] + '0'); 
    }  
    return tot; 
}
ll pwr(ll base, ll p, ll mod)
{
    ll ans = 1;
    while(p)
    {
        if(p & 1) ans = (ans * base) % mod;
        base = (base * base) % mod;
        p /= 2;
    }
    return ans;
}
ll gcd(ll a, ll b)
{
    if(b == 0)  return a;
     return gcd(b, a%b);
}
ll lcm(ll a, ll b)
{
    return (a*b*1LL) / gcd(a, b);
}
/*
bool isPrime[MAX];
void sieve(int n) 
{
    for(int i = 0; i <= n;++i) 
    {
        isPrime[i] = true;
    }
    isPrime[0] = false;
    isPrime[1] = false;
    for(int i = 2; i * i <= n; ++i) 
    {
         if(isPrime[i] == true) 
         {
             for(int j = i * i; j <= n ;j += i)
                 isPrime[j] = false;
        }
    }
}*/                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          

const int N = 2e5 + 5;
const int M = 2e5 + 5;
const int LN = 30;
const int BLOCK = 1000;
const int MAX = 2e6 + 5;
const int MOD = 1e9 + 7;


//


signed main()
{
    sws;
    srand(time(NULL));
    cout << fixed << setprecision(10);
    clock_t clk;
    clk = clock();
    

    //freopen("input.txt", "r", stdin); freopen("output.txt", "w", stdout);


    int cnt[5];
    repp(i,1,4) cnt[i] = 0;
    repp(i,1,3)
    {
        int x, y;
        cin >> x >> y;
        cnt[x]++;
        cnt[y]++;
    }
    int a = 0, b = 0;
    for(int i = 1; i <= 4; i++) if(cnt[i] == 1) a++; else if(cnt[i] == 2) b++;
    if(a == 2 && b == 2) cout << "YES";
    else cout << "NO"; 
    

    clk = clock() - clk;
    cerr << fixed << setprecision(6) << "Time: " << ((double)clk)/CLOCKS_PER_SEC << "\n";
    
    return 0;
}

Measured memory_bytes: 256