有以下程序： #include <stdio.h> 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>代表回车)(　　)。