4050.sat