#include <bits/stdc++.h>
int cs = 1;
using namespace std;
void solve() {
  int arr[3];
  cin >> arr[0] >> arr[1] >> arr[2];
  sort(arr, arr + 3);
  if (arr[0] == 1)
    cout << "YES\n";
  else if (arr[0] == 2 && arr[1] == 2)
    cout << "YES\n";
  else if (arr[0] == 3 && arr[1] == 3 && arr[2] == 3)
    cout << "YES\n";
  else if (arr[0] == 2 && arr[1] == 4 && arr[2] == 4)
    cout << "YES\n";
  else
    cout << "NO\n";
}
int main() {
  int t;
  solve();
  return 0;
}
