9*log_2(5!*(5 choose 3)^5)