//zoj上long必须用%ld来读
#include<stdio.h>
int main(){
long a[2][2],x,y;
while(scanf("%ld%ld",&x,&y)&&(x||y)){
a[0][0] = x;
a[0][1] = x;
a[1][0] = y;
a[1][1] = y;
while(scanf("%ld%ld",&x,&y)&&(x||y)){
if(x>a[0][1]) a[0][1] = x;
if(x<a[0][0]) a[0][0] = x;
if(y>a[1][1]) a[1][1] = y;
if(y<a[1][0]) a[1][0] = y;
}
printf("%ld %ld %ld %ld\n",a[0][0],a[1][0],a[0][1],a[1][1]);
}
return 0;
}