#include <iostream>
#include <algorithm>
#define llint long long

using namespace std;

llint a[4];

int main(void)
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	
	for(int i = 0; i < 4; i++) cin >> a[i];
	sort(a, a+4);
	
	if(a[3]-a[0] == 3) cout << "Yes" << endl;
	else cout << "No" << endl;
	
	return 0;
}