main(){char c1='a',c2='b',c3='c'; printf("a%cb%c\tc\n",c1,c2,c3);}以上程序输出的结果是（）。