如果被审计单位银行对账单余额与银行存款日记账余额不符，下列最有效的审计程序是()