2679.sat