Папа может вскопать клумбу для роз за 4 минуты, а Миша за 12 минут. За сколько минут они вскопают клумбу вместе?