#include<stdio.h>

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