Exact Solver