# 二分探索だな、2**10>1000, ABC299Dのようにできるか

N = int(input())


low = 0
low_count = -10
high = N+1
high_count = N+10
ans = [0, 0]
ans_flag = False

for i in range(10):
    mid = (low+high)//2
    
    print('?', mid)
    res = int(input())
    if ans_flag == False:
        if res == low_count and mid != low:
            ans_flag = True
            ans = [mid-1, mid]  
        elif res == high_count and mid != high:
            ans_flag = True
            ans = [mid, mid+1]              
    
    if res < mid:
        high = mid
        high_count = res
    else:
        low = mid
        low_count = res

    #print('i', i, 'mid', mid, 'res', res, 'low', low, 'high', high, 'ans', ans, 'ans_flag', ans_flag)
    
if ans == [0, 0]:
    print('No')
else:
    print('Yes', *ans)