import sys
input = sys.stdin.readline

N=int(input())
M=int(input())

S=[list(map(int,input().split())) for i in range(M)]

# 拡張ユークリッドの互除法.ax+by=gcd(a,b)となる(x,y)を一つ求め、(x,y)とgcd(x,y)を返す.
def Ext_Euc(a,b,axy=(1,0),bxy=(0,1)): # axy=a*1+b*0,bxy=a*0+b*1なので,a,bに対応する係数の初期値は(1,0),(0,1)
    q,r=divmod(a,b)

    if r==0:
        return bxy,b # a*bxy[0]+b*bxy[1]=b
   
    rxy=(axy[0]-bxy[0]*q,axy[1]-bxy[1]*q) # rに対応する係数を求める.
    return Ext_Euc(b,r,bxy,rxy)

# 中国剰余定理（拡張ユークリッドの互除法を使う）
def Chirem(a,ma,b,mb): # N=a mod ma,N=b mod mbのときN=k mod(lcm(ma,mb))なるk,lcm(ma,mb)を返す.
    (p,q),d=Ext_Euc(ma,mb)
    if (a-b)%d!=0:
        return -1 # 解がないとき-1を出力
    return (b*ma*p+a*mb*q)//d%(ma*mb//d),ma*mb//d

if len(S)==1:
    print(S[0][1]%S[0][0])
    exit()


mb=S[0][0]
b=S[0][1]%mb

for i in range(1,len(S)):
    ma=S[i][0]
    a=S[i][1]%S[i][0]

    if mb>N:
        if b%ma==a:
            continue
        else:
            print("NaN")
            exit()

    k=Chirem(a,ma,b,mb)

    if k==-1:
        print("NaN")
        exit()

    else:
        b,mb=k

    if b>N:
        print("NaN")
        exit()

print(b)