#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;   }   