List Of Formulas For The Sat