#include <stdio.h>

int main(void) {
    char a[10],b[10];
    scanf("%s",a);
    scanf("%s",b);
    printf("(%c%c%c)/\n",a[0],b[0],a[0]);
    return 0;
}