#include <iostream>
using namespace std;

int main(){
	int a[4]; for(int i=0;i<4;i++) cin>>a[i];
	int mn=1e9, id=-1;
	for(int i=0;i<4;i++) if (mn>a[i]) mn=a[i],id=i;
	a[id]=1e9;
	//for(int k=0;k<4;k++) cout<<a[k]<<endl;
	for(int i=1;i<4;i++) {
		mn++; bool update=false;
		for(int j=0;j<4;j++) {
			if (mn==a[j]) {a[j]=1e9, update=true;}
		}
		//for(int k=0;k<4;k++) cout<<a[k]<<endl;
		if (!update) {cout<<"No"<<endl;return 0;}
	}
	cout<<"Yes"<<endl; return 0;
}