#include <fstream>
using namespace std;
ifstream fin ("rob.in");
ofstream fout("rob.out");
main ()
{
     int n,m,k;
     fin>>n>>m;
     if(n>m)
     {
            k=n;
            n=m;
            m=k;
     }
     if(n==1)
     if(m%3==0)k=m/3;
     else 
     k=m/3+1;
     else
     if(n==2)
     {
             if(m%2==1)k=(m-3)/2+2;
             else 
            {
                  fout<<"No Solution!";k=0;
            }
     }
     else
     if(n==3)
     {
                   fout<<"No Solution!";k=0;
     }
     else
     if(n==4&&m==4)
     k=4;
     else
     if(n>=3&&m>=5)
     {
                    fout<<"No Solution!";k=0;
     }
     if (k!=0)
     fout << k;
}