10 men painted 3 identical houses in 5 hours, working at a constant rate. How many houses would it take 20 men to paint 12 such houses, working at the same constant rate?​