SAT stuff

Sat Stuff