BFSearch working and longest proven game