Messages to SAT | PLAM