Simplify ?12??3?12+?3