add exact solution