#include #include #include #include #include #include #include #include #include #include static const int MOD = 1000000007; using ll = long long; using u32 = unsigned; using u64 = unsigned long long; using namespace std; template constexpr T INF = ::numeric_limits::max()/32*15+208; int main() { vector v(4); for (auto &&i : v) scanf("%d", &i); sort(v.begin(),v.end()); for (int i = 0; i < 3; ++i) { if(v[i+1]-v[i] != 1){ puts("No"); return 0; } } puts("Yes"); return 0; }