Naive strategy can deadlock when all five hold their left fork