4077.sat