#include <bits/stdc++.h>
using namespace std;
long long t, d, ct, q, ans, l, r, n, m, mx, mn, i, j, k, x, y, z, s;
char ch;
string ss = "", str = "";
map<long long, long long> mp;
set<long long> st;
bool vis[200003];
vector<long long> v[200003];
long long a[200003], b[200003];
int main() {
  ios_base::sync_with_stdio(false), cin.tie(nullptr), cout.tie(nullptr);
  s = k = d = l = m = mx = mn = r = q = i = j = z = x = y = ct = ans = 0;
  cin >> x >> y >> z;
  a[0] = x;
  a[1] = y;
  a[2] = z;
  sort(a, a + 3);
  if (x == 1 || y == 1 || z == 1)
    cout << "YES";
  else if (x == 3 && y == 3 && z == 3)
    cout << "YES";
  else if (x == 2 && y == 2 || y == 2 && z == 2 || z == 2 && x == 2)
    cout << "YES";
  else if (a[0] == 2 && a[1] == 4 && a[2] == 4)
    cout << "YES";
  else
    cout << "NO";
  return 0;
}
