exact solver template