correct exact solution