#include <bits/stdc++.h>
using namespace std;
int v1, v2, v3, vm;
inline long long readll() {
  int sign = 1;
  char c;
  for (c = getchar(); !isdigit(c); c = getchar())
    if (c == '-') sign = -sign;
  long long res = c - '0';
  for (c = getchar(); isdigit(c); c = getchar()) res = res * 10 + c - '0';
  return sign * res;
}
void writell(long long x) {
  if (x < 0) {
    putchar('-');
    x = -x;
  }
  if (x > 9) writell(x / 10);
  putchar(x % 10 + '0');
}
void inp() { cin >> v1 >> v2 >> v3 >> vm; }
void out() {
  if (vm < v2 && vm <= 2 * v3 && v3 <= 2 * vm) {
    writell(v1 * 2);
    putchar('\n');
    writell(v2 * 2);
    putchar('\n');
    writell(min(v3 * 2, vm * 2));
  } else {
    putchar('-');
    putchar('1');
  }
}
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  inp();
  out();
  return 0;
}
