All Equations Needed For Sat