#include <bits/stdc++.h>
using namespace std;

int main() {
	cin.tie(0);
	ios::sync_with_stdio(false);

	vector<int> a(4);
	bool ans = true;
	for(int i = 0; i < 4; i++) {
		cin >> a[i];
	}
	sort(a.begin(), a.end());
	for(int i = 0; i < 3; i++) {
		if(a[i] + 1 !=  a[i + 1]) {
			ans = false;
			break;
		}
	}
	if(ans) {
		cout << "Yes" << endl;
	}else {
		cout << "No" << endl;
	}
}