SMT Sharing value

Sharing