#include <stdio.h>

int main (void){

    char A, B;

    scanf("%d",A);
    scanf("%d",B);

    printf("(%c%c%c)/\n",A,B,A);

    return 0;
}