Resolvendo problemas com Boolector
