update for sgu307,2-SAT