p7.sat