Ended philo.c, now working on philoresolved.c