#include <stdio.h>
int main()
{
int n, m, k;
int ret;
scanf("%d %d %d", &n, &m, &k);
ret = (n + m + k) / 3;
if (ret < 60)
{
printf("YES");
}
else
{
printf("NO");
}
return 0;
}

#include <stdio.h>
int main()
{
int n, m, k;
int ret;
scanf("%d %d %d", &n, &m, &k);
ret = (n + m + k) / 3;
if (ret < 60)
{
printf("YES");
}
else
{
printf("NO");
}
return 0;
}