4040.sat