9.3+1/2x=12.