3876.sat