updated exact solver