#include<stdio.h>

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