87 log[5](`+`(6, x)) = 2.  

 

 

 

19