本题有一个重要结论是：要将数字先全部往小了做，然后才能构造出符合条件的 $x,y$。

然而题解似乎对这个结论缺乏证明。