4239.sat