Terminei a função veririfica_factibilidade.