(1/3) * 5^(log_3 (.7))