M: <sat>