12. If a = 2 + root 3