When building a house, the number of days required to build varies inversely with
with the number of workers. One house was built in 72 days by 10 workers. How
many days would it take to build a similar house with 20 workers?