有下列程序：
#include＜stdio.h＞
void main()
int a1，a2 char c1，c2；
scanf("%d%c%d%c"，＆a1，＆c1，＆a2，＆c2)；
printf("%d%C%d%c"，a1，c1，a2，c2)；

若想通过键盘输入，使得a1的值为12，a2的值为34，c1的值为字符a，c2的值为字符b，程序输出结果是12，a，34，b，则正确输入格式是(以下

代表空格，＜CR＞代表回车)( )。