20*(Integral of cos ((Pi*t^2)/2)dt from t = 0 to 17)