tree(3).sats