F2LSolver.is_solved()