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