ll@n,@k;wt(sum[ll][i,0,n](rd_ll()>29)<k?"No":"Yes");