有如下程序段：

int x = 12;
double y = 3.141593;
printf("%d%8.6f",x,y);

其输出结果是（　　）。