Sat Equations Given