keygen changes to incorporate BFSolver