Studio recording - which Blackmagic product?

Hi !

I am not sure what Blackmagic Product I need. Can you guide me?

Goal: Record a performer with "more than one" cameras at the same time,
- all cameras should record independently,
- composing with all recordings in Davinci afterwards

Have now at the moment:
1 x Pocket Cinema 6K Pro and SSD for recording
1 x Blackmagic Video Assist
1 x Notebook (USB-C 3.2 Gen2, HDMI 2.1)
1 x Desktop PC

WHICH product(s) (except cameras and Davinci) do I need
for my "Goal" mentioned at the top? Are there more options?

Thank you !!

Atem mini pro ISO or Atem mini Extreme ISO if you need more then 4 inputs.

Does record 4 inputs from HDMI.
Creates an EDL list to direct import into davinci.

Atem mini pro ISO or Atem mini Extreme ISO if you need more then 4 inputs.

Does record 4 inputs from HDMI.
Creates an EDL list to direct import into davinci.

thank you !!