下列程序段的输出结果为（ ）。float k=0.85

float k=0.8567;
printf("%4.1f%%",k*100);