How many solutions does the equation x+12=17 have?