#include <stdio.h>
int main(){
int arr[20][2];
while(1){
if(scanf("%d%d",&arr[0][0],&arr[0][1])==EOF)
return 0;
if(arr[0][1]==arr[0][0]&&arr[0][0]==0)
return 0;
int i=1;
for(;;i++){
scanf("%d%d",&arr[i][0],&arr[i][1]);
if(arr[i][1]==arr[i][0]&&arr[i][0]==0)
break;
}
int max0=arr[0][0],min0=arr[0][0],max1=arr[0][1],min1=arr[0][1];
for(int j=1;j<i;j++){
if(arr[j][0]>max0)max0=arr[j][0];
if(arr[j][0]<min0)min0=arr[j][0];
if(arr[j][1]>max1)max1=arr[j][1];
if(arr[j][1]<min1)min1=arr[j][1];
}
printf("%d %d %d %d\n",min0,min1,max0,max1);
}
return 0;
}