solve (67/100*80*10^6)<x^(365/5) over the reals