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