5×4=20
So after they met in the library on July 1 day, the next meeting should be July 2 1 day.
A: The next time they go to the library at the same time is July 2 1.