Beta(12,9) distribution