This problem is used in private contest:代换综合