2754.sat