Катя за час раскрашивает 4 открытки, Аня - 6 открыток, а Коля - 7. За сколько времени они раскрасят 25 открыток, если будут работать вместе?