#include <bits/stdc++.h>
#define rep(i,n) for(int i=0; i<(n); i++)
using namespace std;
typedef long long ll;

int main(){
	vector<int> v(4);
	rep(i,4) cin>>v[i];
	sort(v.begin(), v.end());
	bool flg=true;
	rep(i,3){
		if(flg==true && v[i+1]-v[i]==1) flg=true;
		else flg=false;
	}
	if(flg) cout << "Yes" << endl;
	else cout << "No" << endl;	
}