pr-cg completed, but can't get exact solution