PTGSolver seems to work