#include <bits/stdc++.h>
using namespace std;
int main()
{
int a[3];
for (int i = 0; i < 3; i++)
cin>>a[i];
if (a[0] + a[1] <= 47 || a[0] + a[2] <= 47 || a[1] + a[2] <= 47)
cout<<"YES";
else
cout<<"NO";
return 0;
}
