SAT 思路是什么If X and Y are two different integers and the produ