unsat deadlock vs unsat livelock bug fix