revised Phirosopher problem