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

int main(){
  int a[4];
  rep(i,4) 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;
  }
  //cout<<a[0]<<a[1]<<a[2]<<a[3]<<endl;
  return 0;
}