what is the solution to this equation? x+7=23