mealy.sats