SAT

tree