É possível que existam melhores soluções de número inteiro. Para ter certeza que o Solver encontre a melhor solução, defina ...