update for spoj217,2-SAT