#include <bits/stdc++.h>
using namespace std;
int main() {
  int a, b, c;
  cin >> a >> b >> c;
  if (a == 1 || b == 1 || c == 1)
    cout << "YES";
  else if (a + b == 4 || b + c == 4 || a + c == 4)
    cout << "YES";
  else if (a == 3 && b == 3 && c == 3)
    cout << "YES";
  else if (a == 2 && b == 4 && c == 4)
    cout << "YES";
  else if (a == 4 && b == 2 && c == 4)
    cout << "YES";
  else if (a == 4 && b == 4 && c == 2)
    cout << "YES";
  else
    cout << "NO";
}
