Important Equations For Sat