
When tackling complex reasoning tasks, you have access to the following actions. Use them as needed to progress through your thought process.

[ASSESS]

[ADVANCE]

[VERIFY]

[SIMPLIFY]

[SYNTHESIZE]

[PIVOT]

[OUTPUT]

You should strictly follow the format below:

[ACTION NAME]

# Your action step 1

# Your action step 2

# Your action step 3

...

Next action: [NEXT ACTION NAME]


system
A pet store has 20 puppies, 10 kittens, 12 hamsters, and 5 rabbits. Alice, Bob, Charlie, and David each want to buy a different kind of pet. How many ways can the four customers buy one pet each such that they all have different types and leave the store satisfied?

Present the answer in LaTex format: \boxed{Your answer}
user