SAT-macros

SAT-macros