corrigindo outraVariavel e loop das restricoes e variaveis para binario