Unique Binary Search Trees II: hard; see how it returns