Hola:
Es correcto lo que decis. En este caso la cantidad de comensales es 7 por lo que deberían permitirse ingresar hasta 6 comensales para evitar el deadlock. Obviamente que si se dejan ingresar hasta 5 comensales también funciona (como dice la solución del examen), pero se restinge la concurrencia de forma innecesaria.
Saludos,
Santiago.