#include <bits/stdc++.h>
using namespace std;
const int INF = (int)1e9;
const int mod = (int)1e9 + 7;
const int MAXN = (int)3e5 + 5;
void solve() {
  int arr[3];
  cin >> arr[0] >> arr[1] >> arr[2];
  sort(arr, arr + 3);
  if (arr[0] == 1) {
    cout << "YES"
         << "\n";
    return;
  }
  if (arr[1] == 2) {
    cout << "YES"
         << "\n";
    return;
  }
  if (arr[2] == 3 && arr[0] == 3) {
    cout << "YES"
         << "\n";
    return;
  }
  if (arr[0] == 2 && arr[1] == 4 && arr[2] == 4) {
    cout << "YES"
         << "\n";
    return;
  }
  cout << "NO"
       << "\n";
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(nullptr);
  cout.tie(nullptr);
  int t = 1;
  while (t--) {
    solve();
  }
}
