已知斜三棱柱的侧棱长等于20,它与底面所成的角为45度,求斜三棱柱的高