#include <bits/stdc++.h>   using namespace std;   const int MAX = 1e5 + 10;   int main() {     int a, b, c;     while (cin >> a >> b >> c) {       int s[MAX] = {0};       s[a]++;       s[b]++;       s[c]++;       if (s[1] >= 1 || s[2] >= 2 || s[3] >= 3 || (s[2] == 1 && s[4] == 2))         printf( YES n );       else         printf( NO n );     }     return 0;   }   