Cutting Planes Proofs of Tseitin and Random Formulas - Noah Fleming