updated BitSolver