2742.sat