以下程序的结果是（ ）
#include"stdio.h"
void main()
{
unsigned int a=3,b=10;
printf("%d\n",a<<2|b>>1);
}
1
13
12
5