The number of days it takes a movie crew to set up a stage varies inversely as the number of workers. If the stage can be set up in 3 days by 20 workers, how many days would it take if only 12 workers were available?