3742.sat