k4.sat