The mean of a set of five different positive integers is 20. The median is 25. The minimum possible value of the smallest of these five integers is