#include<bits/stdc++.h>
using namespace std;
 
typedef long long ll;
typedef pair<int,int> P;

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