#include <bits/stdc++.h>
using namespace std;
int k[3];
set<pair<int, int> > mem;
int main() {
  ios_base::sync_with_stdio(0);
  for (int i = 0; i <= 2; i++) cin >> k[i];
  sort(k, k + 3);
  if (k[0] == 1) {
    cout << "Yes\n";
    return 0;
  }
  int cur1 = 1, cur2 = 2;
  mem.insert({1, 2});
  while (1) {
    for (int i = 1; i <= k[2] - 1; i++) {
      if (i > cur1) cur1 += k[0];
      if (i > cur2) cur2 += k[1];
      if (i != cur1 && i != cur2) {
        cout << "No\n";
        return 0;
      }
    }
    while (cur1 < k[2]) cur1 += k[0];
    while (cur2 < k[2]) cur2 += k[1];
    cur1 -= k[2];
    cur2 -= k[2];
    if (mem.count({cur1, cur2})) {
      cout << "Yes\n";
      return 0;
    } else
      mem.insert({cur1, cur2});
  }
  return 0;
}
