Three postal workers can sort a stack of mail in 20 ​minutes, 25 ​minutes, and 100 ​minutes, respectively. Find how long it takes them to sort the mail if all three work together.

The answer must be a whole number