Text this: Revisiting SAT-based Solvers: MaxSAT Rules and Core Sequences