Үүнийг мессежээр илгээх: Satisfiability solvers are static analysers