一个很简单的sat问题~~~~~~~~~~~~~~~~~~~~~~~~