P[X <= 80] for X~normal distribution, mean=2*23.225, sd=sqrt(2)*9.82