Test with PGS solver