Wir reden offenbar von einer Arbeit von 12*18 = 216 Manntagen.
In den ersten 3 Tagen wurden 12*3 = 36 Manntage abgearbeitet.
In den nächsten 4 Tagen werden 15*4 = 60 Manntage abgearbeitet.
Danach verbleiben noch 216-36-60 = 120 Manntage, die mit 9 Arbeitern abgearbeitet werden müssen.
Dafür brauchen diese 13,3 weitere Tage.