4392.sat