#include <stdio.h>

int main(){
    char T1[2], T2[2];

    scanf("%s", T1);
    scanf("%s", T2);
    printf("(%c%c%c)/", T1[0], T2[0], T1[0]);
}