输入样例#1：

3 7

输出样例#1：

11

其实，这道题目是一道数学定理——赛瓦维斯特定理：已知a,b为大于1的正整数，(a,b)=1,则使不定方程ax+by=Cax+by=C无负整数解的最大整数C=ab−a−bC=ab−a−b！证明：
若存在x,y>=0x,y>=0满足 ax+by=ab−a−bax+by=ab−a−b 则a(x+1)+b(y+1)=aba(x+1)+b(y+1)=ab
于是a|(y+1)a|(y+1),b|(x+1)b|(x+1)
(a(x+1)=b(a−y−1)a(x+1)=b(a−y−1)，有 a,b互质，所以b|(x+1)b|(x+1)。a|(y+1)a|(y+1)同理）
又x+1>=1,y+1>=1x+1>=1,y+1>=1
故a(x+1)+b(y+1)>=a∗b+b∗a=2aba(x+1)+b(y+1)>=a∗b+b∗a=2ab (因为b|(x+1)b|(x+1),所以b<=x+1b<=x+1,同理a<=y+1a<=y+1)
但是在上述假设中我们知道a(x+1)+b(y+1)=aba(x+1)+b(y+1)=ab,a>=0,b>=0a>=0,b>=0
所以假设不成立，即不存在x,y>=0x,y>=0,满足 ax+by=ab−a−bax+by=ab−a−b对于任意正整数C>=ab−a−b+1C>=ab−a−b+1，即C+a+b>=ab+1C+a+b>=ab+1
设C+a+b=ka+m(k>=b,1<=m<=a−1)C+a+b=ka+m(k>=b,1<=m<=a−1)
注意到(a,b)=1
由裴蜀定理，知存在x0,y0∈Zx0,y0∈Z，使得ax0+by0=1ax0+by0=1
故存在x1,y1∈Z，−(b−1)<=x1<=−1x1,y1∈Z，−(b−1)<=x1<=−1
使得ax1+by1=max1+by1=m
(解释一下，这里的意思其实是设−(b−1)<=x1<=−1−(b−1)<=x1<=−1，一定存在整数y1y1使得ax1+by1=max1+by1=m成立。原因就是在整数x1x1的取值中一共有b−1b−1个数，y1=(m−ax1)/by1=(m−ax1)/b，总是可以找到x1x1使得m−ax1m−ax1能被b整除）
显然，y1>=1(ax1<0,m>0,b>0y1>=1(ax1<0,m>0,b>0，因此y1>=1y1>=1)
于是，取x=k+x1−1,y=y1−1x=k+x1−1,y=y1−1
注意到x1,y1x1,y1的取值范围，得x,y>=0x,y>=0
得ax+by=Cax+by=C
所以任意C>=ab−a−b+1C>=ab−a−b+1都存在x,y>=0x,y>=0,ax+by=Cax+by=C
证毕

 1 //60分
 2 //luoguP3951小凯的疑惑
 3 #include<iostream>
 4 using namespace std;
 5 bool number[100000000000000];
 6 int main()
 7 {
 8     long long a,b;
 9     cin>>a>>b;
10     for(long long i=0;i*a<a*b;i++)
11         for(unsigned long long j=0;j*b<a*b;j++)
12         {
13             if(i*a+j*b>a*b) break;
14             number[i*a+j*b]=1;
15         }
16     for(long long i=a*b-1;i>0;i--)
17         if(number[i]==0) {cout<<i;break;}
18     return 0;
19
20 }

 1 //30分
 2 //luoguP3951小凯的疑惑
 3 #include<iostream>
 4 using namespace std;
 5 unsigned long long a,b;
 6 bool number[1000000000];
 7 void function(unsigned long long one){
 8     if(one>a*b) return;
 9     number[one]=1;
10     //cout<<one<<endl;//倘若你输出每一次的one值，你就可以看到效率是多么的低。。。
11     function(one+a);
12     function(one+b);
13 }
14 int main()
15 {
16     cin>>a>>b;
17     function(0);
18     for(unsigned long long i=a*b-1;i>0;i--)
19         if(number[i]==0) {cout<<i;break;}
20     return 0;
21 }