n, k = map(int, input().split())
assert 1 <= n <= 10**5
s = input()

a = [0]
b = [0]
for i in range(n):
    if s[i] == "(": a.append(a[-1] + 1)
    if s[i] == ")": a.append(a[-1] + -1)
for i in range(n - 1, -1, -1):
    if s[i] == ")": b.append(b[-1] + 1)
    if s[i] == "(": b.append(b[-1] + -1)

if not (a[-1] == 0 and min(a) == 0 and min(b) == 0):
    print("No")
    exit()

x = 0
ans = ["("]
depth = [0, 0]
for i in range(1, n):
    if s[i] == ")":
        use = depth.pop()
        if use == 0:
            ans.append("1+1)")
            x += 2
        elif use == 1:
            ans.append("+1)")
            x += 1
        else:
            ans.append(")")

        depth[-1] += 1 
    else:
        if s[i-1] == ")": ans.append("+")
        ans.append("(")
        depth.append(0)

if (x == k and depth[0] > 1) or x < k:
    print("Yes")
    ans.append("+1"*(k-x))
    t = ''.join(ans)
    print(t)
else:
    print("No")