solve 1 + 1/3x >= 3.5