Бассейн наполняется двумя трубами за 12 ч. Первая труба, работая отдельно, может заполнить на 7 ч. быстрее второй. За сколько часов наполнит бассейн первая труба?