現在、父は42歳、子は12歳である。父の年齢が子の年齢の2倍になるのは何年後か。