Função que define se solução é factível