(8Bin[12,2])/(Bin[16,6])