An array of Solution objects representing the non-malleable sat() expressions.
An array of Solution objects representing the malleable sat() expressions.
An array of Solution objects representing the sat() expressions that contain some of the unknown pieces of information.
unknown
An array of Solution objects representing the non-malleable sat() expressions.