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