#include <iostream>
#include<bits/stdc++.h> 

using namespace std;

int main()
{
   int min = INT_MAX,n;
   cin>>n;
   while (n != 0)
   {
       if (n%10==9)
       {
           if (n < min)
            min = n;
       }
       cin>>n;
   }
   
   if (min == INT_MAX)
        cout<<"No"<<endl;
   else
        cout<<"min = "<<min<<endl;
   
   
   

    return 0;
}