Please choose the correct solution to the question: how to keep garbage disposal blades sharp

Solution1: grind a tray of ice cubes once a month

Solution2: sharpen with a nail file, and rinse with vinegar.

Answer format: solution1/solution2