#include<stdio.h>
int main()
{
	int a[4], i;
	for (i = 0; i < 4; i++)
		scanf("%d", &a[i]);
	for (i = 0; i < 3; i++)
	{
		if (a[i] > a[i + 1])
		{
			a[i] ^= a[i + 1];
			a[i + 1] ^= a[i];
			a[i] ^= a[i + 1];
			if (i > 0)
				i -= 2;
		}
	}
	int f = 0;
	for (i = 0; i < 3; i++)
		if (a[i] + 1 != a[i + 1])
			f++;
	if (f > 0)
		printf("No\n");
	else
		printf("Yes\n");
	return 0;
}