Input (grade 12): Ceres, formally designated 1 Ceres, is the smallest identified dwarf planet in the Solar System and the only one in the asteroid belt.
Output (grade 9): Ceres, also known as 1 Ceres, is the smallest dwarf planet in the Solar System and the only one in the main asteroid belt.