Added Solver64.