What is the solution to x+4=12