#include <iostream>
#include <vector>
#include <map>
#include <algorithm>
using namespace std;
typedef long long int ll;

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