以折半搜索方法从长度为12的有序表中搜索一个元素时,平均搜索长度为