import std;

int readInt() {
	int x;
	readf!" %d"(x);
	return x;
}

void main() {
	string s = readln.strip;
	string t = readln.strip;
	writeln('(', s, t, s, ")/");
}