Dining philosophers seems to work with 4 philosophers and 4 forks