#pragma GCC target("avx") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #include using namespace std; #define rep(i,n) for(int i = 0; i < (int)n; i++) #define FOR(n) for(int i = 0; i < (int)n; i++) #define repi(i,a,b) for(int i = (int)a; i < (int)b; i++) #define pb push_back #define all(x) x.begin(),x.end() //#define mp make_pair #define vi vector #define vvi vector #define vll vector #define vvll vector #define vs vector #define vvs vector #define vc vector #define vvc vector #define pii pair #define pllll pair #define vpii vector> #define vpllll vector> #define vpis vector> #define vplls vector> #define vpsi vector> #define vpsll vector> template void chmax(T &a, const T &b) {a = (a > b? a : b);} template void chmin(T &a, const T &b) {a = (a < b? a : b);} using ll = long long; using ld = long double; using ull = unsigned long long; const ll INF = numeric_limits::max() / 2; const ld pi = 3.1415926535897932384626433832795028; const ll mod = 998244353; int dx[] = {-1, 0, 1, 0, -1, -1, 1, 1}; int dy[] = {0, -1, 0, 1, -1, 1, -1, 1}; #define int long long void solve() { vector a(6); FOR(6) cin >> a[i]; bool ans = false; rep(i, 1<<6) { bool flag = true; vi b(6); rep(j, 6) b[j] = (i>>j & 1); rep(j, 6) { repi(k, j+1, 6) { if(a[j] == a[k] && b[j] != b[k]) { flag = false; } } } if(flag) { if((((b[0] || b[1]) || b[2]) || ((b[3] || b[4]) || b[5]))) ans = true; } } cout << (ans? "YES" : "NO") << endl; } signed main() { cin.tie(nullptr); ios::sync_with_stdio(false); solve(); return 0; }