hmm$SOL