sat问题发展情况