Three workers can do a job in 12 days. Two of the workers work twice as fast as the third. How long would it take one of the faster workers to do the job himself?