solve 3|x| = 7 over reals