4243.sat