p2: nearly finish with exact solution