#include <bits/stdc++.h>
using namespace std;
int main(void) {
  int arr[3];
  cin >> arr[0] >> arr[1] >> arr[2];
  int count1 = 0, count2 = 0, count3 = 0, count4 = 0, count5 = 0;
  sort(arr, arr + 3);
  for (int i = 0; i < 3; i++) {
    if (arr[i] == 1) count1++;
    if (arr[i] == 2) count2++;
    if (arr[i] == 3) count3++;
    if (arr[i] == 4) count4++;
    if (arr[i] == 5) count5++;
  }
  if (count1)
    cout << "YES" << endl;
  else if (count2 >= 2)
    cout << "YES" << endl;
  else if (count3 == 3)
    cout << "YES" << endl;
  else if (count2 == 1 && count4 == 2)
    cout << "YES" << endl;
  else
    cout << "NO" << endl;
  return 0;
}
