C++ :

#include<bits/stdc++.h>
using namespace std;
int main(){
    
     int a=3,k,n,an=0,fi,w;
     cin>>n>>k;
    	fi=n;
        while(fi!=0){
        w=fi%10;
        fi/=10;
        if(w==a)an++;
    }

    if(an==k&&n%19==0)cout<<"YES";
    else cout<<"NO";
    return 0;
}