#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;
}