Interface Solution

the maximum nSequence time of all the sat() or dsat() expressions in the solution.

the maximum nLockTime of all the sat() or dsat() expressions in the solution.

the resulting witness after combining all the sat() or dsat() expressions.