Fix bug when SAT res