PEGACPSSA88V1 formal test