If 9 workers can assemble a truck in 12 hours, how long would it take 6 workers to assemble the same truck?