ExactSolver implemented