<>;
$_=<>;
$d=s/[357]//g;
for(/./g){
	if($_==1){
		if($b>=2){
			$b-=2;
			$d+=1;
		}else{
			$a+=1;
		}
	}else{
		if($a>=1){
			$a-=1;
			$d+=1;
		}else{
			$b+=1;
		}
	}
}
print $d+($a>>1)