SAT constructor

SAT()