hmm.sat