#include <bits/stdc++.h>
using namespace std;

int main() {
  vector<int>data(4);
  for(int i = 0;i < 4;i++){
    cin >> data[0] >> data[1] >> data[2] >> data[3];
  }
  sort(data.begin(),data.end());
  for(int i = 1;i < 4;i++){
    if(data[i] != data[i-1]+1){
      cout << "No" << endl;
      return 0;
    }
  }
  cout << "Yes" << endl;
}