Please choose the correct solution to the question: Make your own hot dog sauce

Solution1: 1 pound lean ground beef    water    1 medium Vidalia onion or sweet onion, finely diced    2 cloves of garlic, finely diced    1 Tablespoon olive oil    2 cups ketchup    1 Tablespoon prepared yellow mustard    ½ teaspoon salt    ½ teaspoon pepper    2 teaspoons chili powder    1 teaspoon Worcestershire sauce    Instructions    Place lean ground beef in a bowl and cover with water. Use a wooden spoon or your hands to break up the beef. Set aside.    Over medium heat, saute diced onion and garlic in olive oil in a large saute pan or Dutch oven.    Once the onion and garlic are soft, add the ground beef and water to the pan. Cook about 5 minutes, until the beef is no longer pink on the outside.    Add ketchup, mustard, salt, pepper, chili powder and Worcestershire sauce    Reduce heat and simmer for 20 minutes, stirring frequently, until mixture has thickened and reduced and the beef is cooked through.

Solution2: 1 pound lean ground beef    water    1 medium Vidalia onion or sweet onion, finely diced    2 cloves of garlic, finely diced    1 Tablespoon olive oil    2 cups ketchup    1 Tablespoon prepared yellow mustard    ½ teaspoon salt    ½ teaspoon pepper    2 teaspoons chili powder    1 teaspoon Worcestershire sauce    Instructions    Place lean ground beef in a bowl and cover with water. Use a wooden spoon or your hands to break up the beef. Set aside.    Over medium heat, saute diced onion and garlic in olive oil in a large saute pan or Dutch oven.    Once the onion and garlic are soft, add the ground beef and water to the pan. Cook about 5 minutes, until the beef is no longer pink on the outside.    Add ketchup, mustard, salt, pepper, chili powder and Worcestershire sauce    Reduce heat and simmer for 2 minutes, stirring frequently, until mixture has thickened and reduced and the beef is cooked through.

Answer format: solution1/solution2
Answer: solution1