#include <bits/stdc++.h>
using namespace std;
const int INF = (-1u) / 2;
const long long int INF2 = (-1ull) / 2;
int a, b, i, d, j, k, n, m, timer = 0, l, r, x, y, us[10], cc[200];
int c, cnt = 0, fl = 0, a2, a3 = -1000000, ans = 0;
int main() {
  scanf("%d", &n);
  for (i = 0; i < n; i++) {
    scanf("%d", &cc[i]);
  }
  if (n == 0) {
    cout << "YES\n1\n1\n3\n3\n";
    return 0;
  }
  cnt = 1;
  for (a = 1; a <= 500; a++) {
    for (b = a; b <= 1500; b++) {
      d = 3 * a;
      c = d + a;
      c -= b;
      if ((a + b + c + d) % 4 == 0 && (b + c) % 2 == 0 &&
          (a + b + c + d) / 4 == (b + c) / 2 && (b + c) / 2 == (d - a) &&
          a <= b && b <= c && c <= d) {
        fl = 0;
        us[1] = 0;
        us[2] = 0;
        us[3] = 0;
        us[4] = 0;
        for (i = 0; i < n; i++) {
          if (us[1] != 1 && cc[i] == a) {
            us[1] = 1;
            continue;
          }
          if (us[2] != 1 && cc[i] == b) {
            us[2] = 1;
            continue;
          }
          if (us[3] != 1 && cc[i] == c) {
            us[3] = 1;
            continue;
          }
          if (us[4] != 1 && cc[i] == d) {
            us[4] = 1;
            continue;
          }
          fl = 1;
          break;
        }
        if (fl == 1) {
          continue;
        }
        cout << "YES\n";
        if (us[1] != 1) cout << a << endl;
        if (us[2] != 1) cout << b << endl;
        if (us[3] != 1) cout << c << endl;
        if (us[4] != 1) cout << d << endl;
        return 0;
      }
    }
  }
  cout << "NO\n";
  return 0;
}
