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