p3.sat