Sat Formulas Given