Text this: Formalization of Abstract State Transition Systems for SAT