prob x>30 for normal(10*3.5,(10*35/12)^0.5)