#include <bits/stdc++.h>
using namespace std;
inline int read() {
  char c;
  int s = 0, t = 1;
  while (!isdigit(c = getchar()))
    if (c == '-') t = -1;
  do {
    s = s * 10 + c - '0';
  } while (isdigit(c = getchar()));
  return s * t;
}
inline long long readl() {
  char c;
  long long s = 0;
  int t = 1;
  while (!isdigit(c = getchar()))
    if (c == '-') t = -1;
  do {
    s = s * 10 + c - '0';
  } while (isdigit(c = getchar()));
  return s * t;
}
int n, m;
int main() {
  int a, b, c, d;
  a = read(), b = read(), c = read(), d = read();
  for (int i = c; i <= c * 2; i++)
    if (d <= i && d * 2 >= i) {
      if (d <= 2 * a && 2 * d >= 2 * a) continue;
      if (d <= 2 * b && 2 * d >= 2 * b) continue;
      printf("%d\n", 2 * a);
      printf("%d\n", 2 * b);
      printf("%d\n", i);
      return 0;
    }
  printf("%d\n", -1);
}
