bfs+branch & bound