Olá Nilson.
A não ser que você tenha postado em um lugar e forma incorretos (como o fórum em inglês e escrevendo em português), não veja problema.
Mas você já colocou esta pergunta antes e, como não obteve resposta, provavelmente ninguém implementou o SAT.