Revisiting SAT-based Solvers: MaxSAT Rules and Core Sequences (JAIR, 2026)