Input (grade 6): While at Pola, he discovered his first asteroid, 136 Austria, on March 18, 1874.
Output (grade 5): While at Pola, he found his first asteroid, 136 Austria, on March 18, 1874.