N,K = map(int,input().split()) S = input().strip() A = [] flag = True for i in range(N): if S[i]=="(": A.append(S[i]) else: if len(A)==0: flag = False break A.pop() if not flag or len(A)>0: print("No") else: A = [] B = [] n = 0 for i in range(N): if S[i]=="(": if len(A)==0 or A[-1]=="(": A.append(S[i]) B.append(S[i]) else: A.append(S[i]) B.append("+(") else: if A[-1]=="(": B.append("1+1)") n += 2 A.pop() if len(A)==0 or A[-1]=="(": A.append("1") elif A[-1]=="1": A.pop() A.append("2") elif A[-1]=="1": B.append("+1)") n += 1 A.pop() A.pop() if len(A)==0 or A[-1]=="(": A.append("1") elif A[-1]=="1": A.pop() A.append("2") else: B.append(")") A.pop() A.pop() if len(A)==0 or A[-1]=="(": A.append("1") elif A[-1]=="1": A.pop() A.append("2") if A[0]=="1": B.append("+1") if K