Try another version of this question

Solve: `a + 3 = 12`

`a` =