exact solution