#include<iostream>
using namespace std;
int main(){
    int ansi,ansD,rgb[16][3],trgb[3];
    for(int i=0;i<16;i++){
        for(int j=0;j<3;j++){
            cin>>rgb[i][j];
        }
    }
    while(true){
        for(int i=0;i<3;i++){
            cin>>trgb[i];
        }
        if(trgb[0]==-1){
            break;
        }
        ansD = 255*255*3+1;
        for(int i=0;i<16;i++){
            int t = (rgb[i][0]-trgb[0])*(rgb[i][0]-trgb[0])+
                       (rgb[i][1]-trgb[1])*(rgb[i][1]-trgb[1])+
                       (rgb[i][2]-trgb[2])*(rgb[i][2]-trgb[2]);
            if(t<ansD){
                ansD = t;
                ansi = i;
            } 
        }
        printf("(%d,%d,%d) maps to (%d,%d,%d)\n",trgb[0],trgb[1],trgb[2],rgb[ansi][0],rgb[ansi][1],rgb[ansi][2]);
    }
    return 0;
}