Ben can walk to the library 4 miles away, but it takes him 20 minutes longer than it would to walk to school 3 miles away. How long does it take Ben to walk to the library?