#include <bits/stdc++.h>
using namespace std;
void scanint(int &x) {
  int c = getchar_unlocked();
  x = 0;
  while (((c < 48 || c > 57))) c = getchar_unlocked();
  for (; c > 47 && c < 58; c = getchar_unlocked()) {
    x = (x << 1) + (x << 3) + c - 48;
  }
}
int v1, v2, v3, vm, x1, x2, x3;
int main() {
  cin >> v1 >> v2 >> v3 >> vm;
  if (2 * vm < v3 || vm > 2 * v3) {
    cout << "-1\n";
    getchar();
    getchar();
    return 0;
  }
  if (2 * max(v3, vm) >= 2 * v2 || 2 * max(v3, vm) >= 2 * v1) {
    cout << "-1\n";
    getchar();
    getchar();
    return 0;
  }
  cout << 2 * v1 << endl << 2 * v2 << endl << max(v3, vm) << endl;
  getchar();
  getchar();
  return 0;
}
