Sat Equations Formula