#include<bits/stdc++.h>
int main(){
    std::vector<int>a(4);
    for(int i=0;i<4;i++)std::cin>>a.at(i);
    std::sort(a.begin(),a.end());
    for(int i=0;i<3;i++){
        if(a.at(i)+1!=a.at(i+1)){
            std::cout<<"No"<<std::endl;
            return 0;
        }
    }
    std::cout<<"Yes"<<std::endl;
}