SAT DECLARATION