solve -2|X-3|+1 >= -5, over reals