sat problem 模拟退火算法接近Sat问题