Ответ:

1. Найдём, сколько гвоздей забивает один рабочий за одну секунду: всего затрачено 5 × 4 = 20 человеко-секунд, за это время забили 5 гвоздей.

2. Значит, производительность равна 5 ÷ 20 = 0,25 гвоздя на человеко-секунду.

3. Семь рабочих за 12 секунд затрачивают 7 × 12 = 84 человеко-секунды.

4. Они забьют 84 × 0,25 = 21 гвоздь.

Ответ: 21 гвоздь.