More MonadSAT instances