ans1 = ['1'] * n
cur = 2 * n
if cur > k:
    print("NO SOLUTION", file=fout)
    exit()

ind = n-1
for i in range(1, n):
    if k - cur >= 4:
        cur += 4
        ans1[i] = '0'
    else:
        ind = i
        break

if k - cur >= 5:
    for i in range(n-1, -1, -1):
        if k - cur >= 5:
            cur += 1
            ans1[i] = '8'
            if i == 0:
                cur += 4
        else:
            break

    if k == cur:
        pass
    else:
        print("NO SOLUTION", file=fout)
        exit()



for i in range(n-1, ind-1, -1):
    if k - cur >= 3:
        cur += 3
        ans1[i] = '2'
    elif k - cur >= 2:
        cur += 2
        ans1[i] = '4'
    elif k - cur >= 1:
        cur += 1
        ans1[i] = '7'

if k == cur:
    pass
elif k - cur == 3:
    ans1[0] = '2'
elif k - cur == 2:
    ans1[0] = '4'
elif k - cur == 1:
    ans1[0] = '7'
else:
    print("NO SOLUTION", file=fout)
    exit()
#print(ans1)