\log_56 = x