#include<stdio.h>

int main(void){
    char *a,*b,out[7];
    *a=getchar();
    *b=getchar();
    out[0]='(';
    out[1]=*a;
    out[2]=*b;
    out[3]=*a;
    out[4]=')';
    out[5]='/';
    puts(out);
    return 0;
}