(12 choose 5)(8 choose 1)/(20 choose 6)