add formula solution in Unique BST article