solve \cos(2x+\frac{\pi }{3})=-1, for x