log_(√3)(13)