main = -> { N = gets.to_i M = gets.to_i pairs = Array.new(M) { gets.split.map(&:to_i) } ans = 0 lcm = 1 pairs.each do |b, c| c %= b if lcm < b lcm, b = b, lcm ans, c = c, ans end if lcm % b == 0 if ans % b != c ans = -1 break end next end g, i = inv_gcd(lcm, b) u1 = b / g if (c - ans) % g != 0 ans = -1 break end x = (c - ans) / g % u1 * i % u1 ans += x * lcm lcm *= u1 ans += lcm if ans < lcm if ans > N ans = -1 break end end if ans != -1 puts ans % lcm else puts "NaN" end } def inv_gcd(a, b) a %= b return [b, 0] if a == 0 s, t, x, y = b, a, 0, 1 while t != 0 u = s / t s -= t * u x -= y * u s, t, x, y = t, s, y, x end x += b / s if x < 0 [s, x] end main.call