p4.sat