Sat System Of Equations