#include using lint=long long; using real=long double; int main(){ std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false); std::cout.setf(std::ios_base::fixed);std::cout.precision(15); lint n;std::cin>>n; lint ans=0,one=0,nine=0; while(n--){ char c;std::cin>>c; if(c=='3'||c=='5'||c=='7')ans++; if(c=='1')one++; if(c=='9'){ if(!one)nine++; else one--,ans++; } } lint d=std::min(nine/2,one); std::cout<