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


int main() {
  int a,b,c,d;
  std::cin >> a>>b>>c>>d;
  std::vector<int> v={a,b,c,d},ans={1,2,3,4};
  sort(v.begin(),v.end());
  if (v==ans) {
    std::cout << "Yes" << '\n';
  } else std::cout << "No" << '\n';
  return 0;
}