# 互いに素でなければ無限にあるので-1 # 互いに素な場合は、LCMまでに表せない数が何個あるかでよいか # LCM以後表せることは実験で確認した # 実験するとLCM未満かなり前からすべて表せそうではあるが # LCMまでに表せる数は1次元dpで計算するか from math import gcd A, B = map(int, input().split()) g = gcd(A, B) print('g', g) if g != 1: print(-1) else: LCM = A*B//g count = [0]*(LCM+1) count[A] = 1 count[B] = 1 for i in range(LCM+1): if count[i] == 1: count[min(LCM, i+A)] = 1 count[min(LCM, i+B)] = 1 ans = LCM - sum(count) #print(LCM, count) print(ans)