P(3x-5<7), x chi-square with 9 dof