Let's try 9 workers.