#include<iostream>
#include<set>
using namespace std;
int maxi(int a,int b)
{
if(a>b)
return a;
else
return b;
}
int mini(int a,int b)
{
if(a>b)
return b;
else
return a;
}
int main()
{
int a,b,c,x,y;
here:;
while(cin>>a>>b>>c>>x>>y)
{
if(a==0 && b==0 && c==0 && x==0 && y==0)
return 0;
int max=maxi(x,y),min=mini(x,y);
set<int> pr,res;
pr.insert(a); pr.insert(b); pr.insert(c); pr.insert(x); pr.insert(y);
if(x>maxi(maxi(a,b),c) && y>maxi(maxi(a,b),c))
for(int i=1;i<53;i++)
if(pr.find(i)==pr.end())
{cout<<i<<endl; goto here;}
bool lost=false;
for(int i=1;i<=6;i++)
{
int m,n,l;
if(i==1)
{m=a; n=b; l=c;}
if(i==2)
{m=a; n=c; l=b;}
if(i==3)
{m=b; n=a; l=c;}
if(i==4)
{m=b; n=c; l=a;}
if(i==5)
{m=c; n=a; l=b;}
if(i==6)
{m=c; n=b; l=a;}
//////////////////////////
if(m>max && n>min)
{cout<<-1<<endl; lost=true; break;}
bool na=true;
if(m<min && n<min)
for(int j=maxi(m,n);j<max;j++)
if(pr.find(j)==pr.end())
{res.insert(j); na=false; break;}
if(!na)
break;
for(int j=l;j<53;j++)
if(pr.find(j)==pr.end())
{res.insert(j); na=false; break;}
if(na)
{cout<<-1<<endl; lost=true; break;}
}
if(!res.empty() && !lost)
cout<<*res.rbegin()<<endl;
}
}
I2luY2x1ZGU8aW9zdHJlYW0+CiNpbmNsdWRlPHNldD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmludCBtYXhpKGludCBhLGludCBiKQp7CiAgICAgaWYoYT5iKQoJCSByZXR1cm4gYTsKCSBlbHNlCgkJIHJldHVybiBiOwp9CgppbnQgbWluaShpbnQgYSxpbnQgYikKewoJIGlmKGE+YikKCQkgcmV0dXJuIGI7CgkgZWxzZQoJCSByZXR1cm4gYTsKfQoKaW50IG1haW4oKQp7CglpbnQgYSxiLGMseCx5OwoJaGVyZTo7Cgl3aGlsZShjaW4+PmE+PmI+PmM+Png+PnkpCgl7CgkJCgkJaWYoYT09MCAmJiBiPT0wICYmIGM9PTAgJiYgeD09MCAmJiB5PT0wKQoJCQlyZXR1cm4gMDsKCQlpbnQgbWF4PW1heGkoeCx5KSxtaW49bWluaSh4LHkpOwoJCXNldDxpbnQ+IHByLHJlczsKCQlwci5pbnNlcnQoYSk7IHByLmluc2VydChiKTsgcHIuaW5zZXJ0KGMpOyBwci5pbnNlcnQoeCk7IHByLmluc2VydCh5KTsKCgkJaWYoeD5tYXhpKG1heGkoYSxiKSxjKSAmJiB5Pm1heGkobWF4aShhLGIpLGMpKQoJCQlmb3IoaW50IGk9MTtpPDUzO2krKykKCQkJCWlmKHByLmZpbmQoaSk9PXByLmVuZCgpKQoJCQkJe2NvdXQ8PGk8PGVuZGw7IGdvdG8gaGVyZTt9CgoJCWJvb2wgbG9zdD1mYWxzZTsKCQlmb3IoaW50IGk9MTtpPD02O2krKykKCQl7CgkJCWludCBtLG4sbDsKCgkJCWlmKGk9PTEpCgkJCXttPWE7IG49YjsgbD1jO30KCgkJCWlmKGk9PTIpCgkJCXttPWE7IG49YzsgbD1iO30KCgkJCWlmKGk9PTMpCgkJCXttPWI7IG49YTsgbD1jO30KCgkJCWlmKGk9PTQpCgkJCXttPWI7IG49YzsgbD1hO30KCgkJCWlmKGk9PTUpCgkJCXttPWM7IG49YTsgbD1iO30KCgkJCWlmKGk9PTYpCgkJCXttPWM7IG49YjsgbD1hO30KCQkJLy8vLy8vLy8vLy8vLy8vLy8vLy8vLy8vLy8KCQkJaWYobT5tYXggJiYgbj5taW4pCgkJCXtjb3V0PDwtMTw8ZW5kbDsgbG9zdD10cnVlOyBicmVhazt9CgkJCQoJCQkgYm9vbCBuYT10cnVlOwoJCQlpZihtPG1pbiAmJiBuPG1pbikKCQkJCSBmb3IoaW50IGo9bWF4aShtLG4pO2o8bWF4O2orKykKCQkJCQkgaWYocHIuZmluZChqKT09cHIuZW5kKCkpCgkJCQkJCSB7cmVzLmluc2VydChqKTsgbmE9ZmFsc2U7IGJyZWFrO30KCQkJaWYoIW5hKQoJCQkJYnJlYWs7CgkJCSAKCQkJIGZvcihpbnQgaj1sO2o8NTM7aisrKQoJCQkJaWYocHIuZmluZChqKT09cHIuZW5kKCkpCgkJCQkJIHtyZXMuaW5zZXJ0KGopOyBuYT1mYWxzZTsgYnJlYWs7fQoJCQkJCgkJCSBpZihuYSkKCQkJCSB7Y291dDw8LTE8PGVuZGw7IGxvc3Q9dHJ1ZTsgYnJlYWs7fQoJCX0KCgkJaWYoIXJlcy5lbXB0eSgpICYmICFsb3N0KQoJCQkgY291dDw8KnJlcy5yYmVnaW4oKTw8ZW5kbDsKCX0KfQ==