(normal distribution(23.2,9.1) > 35)