E o quanto será o valor que o BNDES irá disponibilizar desse total?