What is the solution set of the equation x2+2x=12?