<human>:  What is the name of the asteroid that Carl Sagan discovered?
<bot>: The asteroid that Carl Sagan discovered is called 137-138 Sagan. It is a binary asteroid, meaning that it has two moons. The asteroid is named after Carl Sagan because he discovered it.